@inproceedings{mine:dasia09,
  author =    {Bouissou, O{.} and Conquet, E{.} and Cousot, P{.} and
               Cousot, R{.} and Feret, J{.} and Ghorbal, K{.} and 
               Goubault, E{.} and Lesens, D{.} and Mauborgne, L{.} and
               Min\'e, A{.} and Putot, S{.} and Rival, X{.} and Turin, M{.}},
  title =     {Space Software Validation using Abstract Interpretation},
  pages =     {1--7},
  volume =    {SP-669},
  year =      {2009},
  month =     {May},
  location =  {Istambul, Turkey},
  booktitle = {Proc. of the Int. Space System Engineering Conf.,
               Data Systems in Aerospace (DASIA 2009)},
  publisher = {ESA},
  note =      {\url{http://www.di.ens.fr/~mine/publi/article-bouissou-al-dasia09.pdf}}
}