Sciweavers

Share
CAV
2005
Springer

Predicate Abstraction via Symbolic Decision Procedures

10 years 1 months ago
Predicate Abstraction via Symbolic Decision Procedures
Shuvendu K. Lahiri, Thomas Ball, Byron Cook
Added 26 Jun 2010
Updated 26 Jun 2010
Type Conference
Year 2005
Where CAV
Authors Shuvendu K. Lahiri, Thomas Ball, Byron Cook
Comments (0)
books