\bibitem{ccfmmmr05}
{\sc Cousot, C., Cousot, R., Feret, J., Mauborgne, L., {Min\'e}, A., 
Monniaux, D. and Rival, X.}
\newblock The {ASTR\'EE} Analyzer.
\newblock In {\em European Symposium on Programming (ESOP 2005)\/} (2005),
  M.~Sagiv, Ed., vol.~3444 of {\em Lecture Notes in Computer Science},
  Springer-Verlag, pp.~21--30.

@inproceedings{ccfmmmr05,
author = "Patrick Cousot and Radhia Cousot and J{\'e}r{\^o}me
         Feret and Laurent Mauborgne and Antoine Min{\'e} and David Monniaux
         and Xavier Rival",
title = "The ASTR{\'E}E Analyzer",
booktitle = "European Symposium on Programming (ESOP'05)",
volume = 3444,
series = "Lecture Notes in Computer Science",
year = 2005,
publisher = "Springer-Verlag",
editor = "M. Sagiv",
pages = "21--30",
}