Sciweavers

74
Voted
FOSAD
2009
Springer
15 years 1 months ago
Certified Static Analysis by Abstract Interpretation
d Static Analysis by Abstract Interpretation Fr
Frédéric Besson, David Cachera, Thom...