\bibitem{Cousot-VMCAI03}
P{.} Cousot.
\newblock Automatic Verification by Abstract Interpretation, invited tutorial.
\newblock \emph{Proc{.} 4th International Conference on Verification, Model
   Checking and Abstract Interpretation} (VMCAI 2002), L.D{.} Zuck, P.C{.}
   Attie, A{.} Cortesi and S{.} Mukhopadhyay (Eds.), Courant Institute, NYU,
   New York, N.Y., USA, January 9--11, 2003.  LNCS 2575, pp{.} 20--24.  Springer,
   Berlin, 2003.

@InProceedings{Cousot-VMCAI03,
   author =    {P{.} Cousot},
   title =     {Automatic Verification by Abstract Interpretation, invited
                tutorial},
   editor =    {Zuck, L.D{.} and Attie, P.C{.} and Cortesi, A{.} and
                Mukhopadhyay, S{.}},
   pages =     {20--24},
   booktitle = {Proceedings of the Fourth International Conference on
                Verification, Model Checking and Abstract Interpretation 
                (VMCAI 2003)},
   address =   {Courant Institute, NYU, New York, N.Y., USA},
   publisher = {LNCS 2575, Springer, Berlin},
   month =     {January 9--11},
   year =      2003,
}