F. Kirchner, N. Kosmatov, V. Prevosto, J. Signoles, and B. Yakobowski, Frama-C: A software analysis perspective, p.FAOC, 2015.URL : https://hal.archives-ouvertes.fr/cea-01808981
M. Pavlova, G. Barthe, L. Burdy, M. Huisman, and J. Lanet, Enforcing High-Level Security Properties for Applets, 2004.URL : https://hal.archives-ouvertes.fr/inria-00071523