L'analyseur statique Astrée - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Book Sections Year : 2011
No file

Dates and versions

inria-00636877 , version 1 (28-10-2011)

Identifiers

  • HAL Id : inria-00636877 , version 1

Cite

Julien Bertrane, Jérôme Feret, Patrick Cousot, Radhia Cousot, Antoine 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. ⟨inria-00636877⟩
162 View
0 Download

Share

Gmail Facebook X LinkedIn More