Sciweavers

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