Sciweavers

CAV
2004
Springer

Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement

13 years 9 months ago
Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement
Thomas Ball, Byron Cook, Shuvendu K. Lahiri, Linta
Added 01 Jul 2010
Updated 01 Jul 2010
Type Conference
Year 2004
Where CAV
Authors Thomas Ball, Byron Cook, Shuvendu K. Lahiri, Lintao Zhang
Comments (0)