Sciweavers

FOSAD
2009
Springer

Certified Static Analysis by Abstract Interpretation

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
Added 16 Aug 2010
Updated 16 Aug 2010
Type Conference
Year 2009
Where FOSAD
Authors Frédéric Besson, David Cachera, Thomas P. Jensen, David Pichardie
Comments (0)