Sciweavers

VMCAI
2010
Springer

An Abstract Domain to Discover Interval Linear Equalities

14 years 8 months ago
An Abstract Domain to Discover Interval Linear Equalities
Liqian Chen, Antoine Miné, Ji Wang, Patrick
Added 05 Mar 2010
Updated 08 Mar 2010
Type Conference
Year 2010
Where VMCAI
Authors Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot
Comments (0)