\bibitem{Cousot-ETH-2009-11-25}
P.~Cousot.
\newblock An Informal Introduction to Static Analysis and Verification
          by Abstract Interpretation.
\newblock Chair of Software Engineering, Guest lecture of the Software 
          verification course (Fall semester 2009), Bertrand Meyer,
          Carlo A. Furia, Sebastian Nanz (Org.), ETH Zurich, Switzerland,
          November 25${^\mathrm{th}}$, 2009.

@inProceedings{Cousot-ETH-2009-11-25,
   author =    {P{.} Cousot},
   title =     {An Informal Introduction to Static Analysis and Verification
                by Abstract Interpretation},
   booktitle = {Chair of Software Engineering, Guest lecture of the Software 
                verification course (Fall semester 2009)},
   editor    = {Bertrand Meyer, Carlo A. Furia, Sebastian Nanz},
   address =   {ETH Zurich, Switzerland},
   month =     {November 25${^\mathrm{th}}$},
   year =      2009,
}