Sciweavers

DATE
2008
IEEE

Completeness in SMT-based BMC for Software Programs

13 years 10 months ago
Completeness in SMT-based BMC for Software Programs
Malay K. Ganai, Aarti Gupta
Added 29 May 2010
Updated 29 May 2010
Type Conference
Year 2008
Where DATE
Authors Malay K. Ganai, Aarti Gupta
Comments (0)