about this paper

presentation bibitem

downloads

editor link
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. ??-??.
© 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},
}