Franjo Ivancic, Zijiang Yang, Malay K. Ganai, Aarti Gupta, Pranav Ashar. Efficient SAT-based bounded model checking for software verification. Theoretical Computer Science, 404(3):256-274, 2008. [doi]
No references recorded for this publication.
No citations of this publication recorded.