Sciweavers

CHARME
2003
Springer

Predicate Abstraction with Minimum Predicates

14 years 5 months ago
Predicate Abstraction with Minimum Predicates
Sagar Chaki, Edmund M. Clarke, Alex Groce, Ofer St
Added 06 Jul 2010
Updated 06 Jul 2010
Type Conference
Year 2003
Where CHARME
Authors Sagar Chaki, Edmund M. Clarke, Alex Groce, Ofer Strichman
Comments (0)