\bibitem{mauborgn00b}
{\sc Mauborgne, L.}
\newblock {ASTR\'EE}: Verification of absence of run-time error.
\newblock In Ren{\'e} Jacquart, editor, {\em Building the information Society
  (18th IFIP World Computer Congress)}, pages 384--392. The International
  Federation for Information Processing, Kluwer Academic Publishers, Aug 2004.

@inproceedings{mauborgne04,
author = "Laurent Mauborgne",
title = "{ASTR\'EE}: Verification of Absence of Run-Time Error",
booktitle = "Building the information Society (18th IFIP World Computer
             Congress)",
year = 2004,
pages = "384--392",
editor = "Ren{\'e} Jacquart",
publisher = "Kluwer Academic Publishers",
month = "Aug",
organization = "The International Federation for Information Processing",
}