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 proceeding › Chapter (peer-reviewed) › peer-review

Original language	English (US)
Title of host publication	Utilisations industrielles des techniques formelles
Subtitle of host publication	Interpretation abstraite
Editors	J.-L. Boulanger
Publisher	Lavoisier
Pages	67-114
State	Published - 2011

Name	Collection IC2, Editions Hermes

Cite this

@inbook{e87a26f6c21345968802caea04dd1c3a,

title = "L'analyseur statique ASTREE (in French)",

author = "Julien Bertrane and Patrick Cousot and Radhia Cousot and J{\'e}r{\^o}me Feret and Laurent Mauborgne and A. Mine and Xavier Rival",

year = "2011",

language = "English (US)",

series = "Collection IC2, Editions Hermes",

publisher = "Lavoisier",

pages = "67--114",

editor = "J.-L. Boulanger",

booktitle = "Utilisations industrielles des techniques formelles",

}

TY - CHAP

T1 - L'analyseur statique ASTREE (in French)

AU - Bertrane, Julien

AU - Cousot, Patrick

AU - Cousot, Radhia

AU - Feret, Jérôme

AU - Mauborgne, Laurent

AU - Mine, A.

AU - Rival, Xavier

PY - 2011

Y1 - 2011

M3 - Chapter (peer-reviewed)

T3 - Collection IC2, Editions Hermes

SP - 67

EP - 114

BT - Utilisations industrielles des techniques formelles

A2 - Boulanger, J.-L.

PB - Lavoisier

ER -