Frédéric Besson, David Cachera, Thomas P. Jensen, David Pichardie. Certified Static Analysis by Abstract Interpretation. In Alessandro Aldini, Gilles Barthe, Roberto Gorrieri, editors, Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures. Volume 5705 of Lecture Notes in Computer Science, pages 223-257, Springer, 2009. [doi]
@inproceedings{BessonCJP09,
title = {Certified Static Analysis by Abstract Interpretation},
author = {Frédéric Besson and David Cachera and Thomas P. Jensen and David Pichardie},
year = {2009},
doi = {10.1007/978-3-642-03829-7_8},
url = {http://dx.doi.org/10.1007/978-3-642-03829-7_8},
tags = {analysis, static analysis},
researchr = {https://researchr.org/publication/BessonCJP09},
cites = {0},
citedby = {0},
pages = {223-257},
booktitle = {Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures},
editor = {Alessandro Aldini and Gilles Barthe and Roberto Gorrieri},
volume = {5705},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-03828-0},
}