Bibliographic reference:
\bibitem{CousotCousot-AIRBUS-2010-06-24}
P.~Cousot and R. Cousot.
\newblock Static Analysis and Verification of Aerospace Software by Abstract Interpretation.
\newblock Workshop on formal verification of avionics software products, Airbus France, Toulouse, France, June 24, 2010.
@inProceedings{CousotCousot-AIRBUS-2010-06-24,
author = {P.~Cousot and R. Cousot},
title = {Static Analysis and Verification of Aerospace Software by Abstract Interpretation},
booktitle = {Workshop on formal verification of avionics software products},
address = {Airbus France, Toulouse, France},
month = {June 24},
year = {2010},
}