\bibitem{Cousot-MIT-Workshop-A-09-08-05}
P.~Cousot.
\newblock Software Challenges for the Aerospace Industry and
          Research.
\newblock MIT Workshop on Critical Research Areas in Aerospace Software, 
          August 9, 2005.

@conference{Cousot-MIT-Workshop-A-09-08-05,
   author =    {P{.} Cousot},
   title =     {Software Challenges for the Aerospace Industry and
                Research},
   booktitle = {Workshop on Critical Research Areas in Aerospace Software},
   address =   {Department of Aeronautics and Astronautics, MIT,
                Cambridge\massachusetts\USA},
   month =     {9 August},
   year =      2005,
 }