\bibitem{Cousot08-FICS}
P. Cousot.
\newblock Abstract Interpretation and Application to the Static Analysis 
          of Safety-Critical Embedded Computer Software.
\newblock Seoul National University, Computer Science \& Engineering,
          Distinguished Lecture Series, Seoul, Korea, September 30th, 2008.

@unpublished{Cousot08-FICS,
   author =    {P{.} Cousot},
   title =     {Abstract Interpretation and Application to the Static Analysis 
                of Safety-Critical Embedded Computer Software.},
   note =      {Seoul National University, Computer Science \& Engineering,
                Distinguished Lecture Series, Seoul, Korea},
   month =     30 # sep,
   year =      2008,
}