• A4 landscape .pdf.gz (1.9 Mb) to be gunzip'ed for viewing with Acrobate Reader and compressed PostScript .ps.gz (29.7 Mb) for viewing with Ghostview or printing;
• 2 slides per A4 portrait page .pdf.gz (3.9 Mb) for viewing with Acrobate Reader and compressed PostScript .ps.gz (28.4 Mb) for viewing with Ghostview or printing;
• 4 slides per A4 landscape sheet for printing in color (28.3 Mb).

\bibitem{Cousot05-VMCAI-tools}
P.~Cousot.
\newblock A Tutorial on Abstract Interpretation.
\newblock In \emph{VMCAI'05 Industrial day on Automatic Tools for Program Verification}, 
          Maison des Polytechniciens, Paris, France, January 20, 2005.

@inproceedings{Cousot05-VMCAI-tools,
   author =    {Cousot, P{.}},
   title =     {A Tutorial on Abstract Interpretation},
   booktitle = {VMCAI'05 Industrial day on Automatic Tools for Program Verification},
   address =   {Maison des Polytechniciens, Paris, France},
   month =     jan # " 20",
   year =      2005,
}