Bibliographic reference:
\bibitem{BertraneEtAl-AIAA10}
J.~Bertrane, P.~ Cousot, R.~ Cousot, J.~ Feret, L.~ Mauborgne, A.~ Miné, and X.~ Rival.
\newblock Static Analysis and Verification of Aerospace Software by Abstract Interpretation.
\newblock In \emph{AIAA Infotech@Aerospace 2010}, Atlanta, Georgia, American Institute of Aeronautics and Astronautics, 20--22 April 2010.
@InProceedings{BertraneEtAl-AIAA10,
author = {J.~Bertrane and P.~ Cousot and R.~ Cousot and J.~ Feret and L.~ Mauborgne
and A.~ Miné and X.~ Rival},
title = {Static Analysis and Verification of Aerospace Software by Abstract Interpretation},
booktitle = {AIAA Infotech@Aerospace 2010},
address = {Atlanta, Georgia},
publisher = {American Institute of Aeronautics and Astronautics},
month = {20--22 April},
year = 2010,
}