Sciweavers

VMCAI
2010
Springer
14 years 9 months ago
An Abstract Domain to Discover Interval Linear Equalities
Liqian Chen, Antoine Miné, Ji Wang, Patrick...