Sciweavers

ISSTA
2006
ACM

Modular verification of code with SAT

15 years 2 months ago
Modular verification of code with SAT
Greg Dennis, Felix Sheng-Ho Chang, Daniel Jackson
Added 14 Jun 2010
Updated 14 Jun 2010
Type Conference
Year 2006
Where ISSTA
Authors Greg Dennis, Felix Sheng-Ho Chang, Daniel Jackson
Comments (0)