Sciweavers

FOSAD
2009
Springer
14 years 2 months ago
Certified Static Analysis by Abstract Interpretation
d Static Analysis by Abstract Interpretation Fr
Frédéric Besson, David Cachera, Thom...