L'analyseur statique ASTREE (in French)

Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, A. Mine, Xavier Rival

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Original languageEnglish (US)
Title of host publicationUtilisations industrielles des techniques formelles
Subtitle of host publicationInterpretation abstraite
EditorsJ.-L. Boulanger
PublisherLavoisier
Pages67-114
StatePublished - 2011

Publication series

NameCollection IC2, Editions Hermes

Cite this

Bertrane, J., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Mine, A., & Rival, X. (2011). L'analyseur statique ASTREE (in French). In J-L. Boulanger (Ed.), Utilisations industrielles des techniques formelles: Interpretation abstraite (pp. 67-114). (Collection IC2, Editions Hermes). Lavoisier.