\bibitem{Cousot08-FICS}
P. Cousot.
\newblock Automatic software verification by abstract interpretation, 
          invited talk.
\newblock International Conference on the Foundations of Informatics, Computing 
          and Software, FICS 2008, Shanghai, China, June 3--6, 2008.

@unpublished{Cousot08-FICS,
   author =    {P{.} Cousot},
   title =     {Automatic software verification by abstract interpretation,
                invited talk},
   note =      {International Conference on the Foundations of Informatics, 
                Computing and Software, FICS 2008},
   month =     "3--6 " # jun,
   year =      2008,
}