\bibitem{Cousot-CMACS-2010-03-05}
P.~Cousot.
\newblock Challenge Problems in Aerospace Software Verification.
\newblock \emph{CMACS-NSF Meeting}, Carnegie Mellon, Pittsburgh, PA, USA.
          4--5 March 2010.

@inProceedings{Cousot-CMACS-2010-03-05,
   author =    {P{.} Cousot},
   title =     {Challenge Problems in Aerospace Software Verification},
   booktitle = {CMACS-NSF Meeting},
   address =   {Carnegie Mellon, Pittsburgh, PA, USA},
   month =     {4--5 March},
   year =      {2010},
}