Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret,
Laurent Mauborgne, Antoine Miné, & Xavier Rival.
L'analyseur statique Astrée.
In
Utilisations industrielles des techniques formelles : interprétation abstraite, J.-L. Boulanger (Ed.),
Hermes Science, pp. 67-111.
© Hermès-Lavoisier Paris, Juin 2011.
@inCollection{BertraneEtAl11,
author = {J{.} Betrane and P{.} Cousot and R{.} Cousot and J{.} Feret and
L{.} Mauborgne and A{.} Min{\'e} and X{.} Rival},
title = {L'analyseur statique Astr�e.},
booktitle = {Utilisations industrielles des techniques formelles : interpr�tation abstraite},
editor = {J.-L. Boulanger},
publisher = {Hermes Science - Lavoisier}
month = june,
year = 2011,
isbn = {2-7462-3206-5},
}