Sciweavers

ESOP
2008
Springer

Non-disjunctive Numerical Domain for Array Predicate Abstraction

14 years 1 months ago
Non-disjunctive Numerical Domain for Array Predicate Abstraction
Xavier Allamigeon
Added 19 Oct 2010
Updated 19 Oct 2010
Type Conference
Year 2008
Where ESOP
Authors Xavier Allamigeon
Comments (0)