Sciweavers

FMCAD
2008
Springer

Combining Predicate and Numeric Abstraction for Software Model Checking

14 years 1 months ago
Combining Predicate and Numeric Abstraction for Software Model Checking
Arie Gurfinkel, Sagar Chaki
Added 26 Oct 2010
Updated 26 Oct 2010
Type Conference
Year 2008
Where FMCAD
Authors Arie Gurfinkel, Sagar Chaki
Comments (0)