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]
No references recorded for this publication.
No citations of this publication recorded.