![](/img/cover-not-exists.png)
[IEEE 2008 Design, Automation and Test in Europe - Munich, Germany (2008.03.10-2008.03.14)] 2008 Design, Automation and Test in Europe - Completeness in SMT-based BMC for Software Programs
Ganai, Malay K., Gupta, AartiYear:
2008
Language:
english
DOI:
10.1109/date.2008.4484777
File:
PDF, 436 KB
english, 2008