Sciweavers

72
Voted
FOSAD
2009
Springer
15 years 23 days ago
Certified Static Analysis by Abstract Interpretation
d Static Analysis by Abstract Interpretation Fr
Frédéric Besson, David Cachera, Thom...