Skip to Main content Skip to Navigation
Help


inria-00636877v1  Book sections
Julien BertraneJérôme FeretPatrick CousotRadhia CousotAntoine Miné et al.  L'analyseur statique Astrée
Jean-Louis Boulanger. Utilisations industrielles des techniques formelles : interprétation abstraite, Hermes-Lavoisier, pp.67--114, 2011, Informatique et systèmes d'information, 2-7462-3206-5