\bibitem{Cousot-Berkeley-9-11-05}
P.~Cousot.
\newblock Static Verification of Critical Embedded Software
          by Abstract Interpretation.
\newblock In \emph{Distinguished Lecture Series,
          EECS, University of California Berkeley}, 
	  Berkeley, California, November 9, 2005.


@conference{Cousot-Berkeley-9-11-05,
   author =    {P{.} Cousot},
   title =     {Static Verification of Critical Embedded Software
                by Abstract Interpretation},
   booktitle = {Distinguished Lecture Series},
   address =   {EECS, University of California Berkeley}, 
	        Berkeley, California, USA},
   month =     {9 November},
   year =      2005,
}