Bibliographic reference:
\bibitem{BouissouEtAl-DASIA09}
O{.} Bouissou, \'E{.} Conquet, P{.} Cousot, R{.} Cousot, J{.} Feret, K{.} Ghorbal, É{.} Goubault, D{.} Lesens, L{.} Mauborgne, A{.} Min\'e, S{.} Putot, X{.} Rival, \& M{.} Turin.
\newblock Space Software Validation using Abstract Interpretation.
\newblock In Proc. of the Int. Space System Engineering Conf., Data Systems in Aerospace (DASIA 2009). Istambul, Turkey, May 2009, 7 pages. ESA.
@inproceedings{BouissouEtAl-DASIA09,
author = {O{.} Bouissou and \'E{.} Conquet and P{.} Cousot and R{.} Cousot and J{.} Feret and K{.} Ghorbal and É{.} Goubault and D{.} Lesens and L{.} Mauborgne and A{.} Min\'e and S{.} Putot and X{.} Rival and M{.} Turin},
title = {Space Software Validation using Abstract Interpretation},
pages = {1--7},
volume = {SP-669},
year = {2009},
month = may,
address = {Istambul, Turkey},
booktitle = {Proc. of the Int. Space System Engineering Conf.,
Data Systems in Aerospace (DASIA 2009)},
publisher = {ESA},
}