• A4 landscape .pdf (1 Mo) and compressed .pdf.gz (584 Ko) for viewing with Acrobate Reader and compressed PostScript .ps.gz (6.1 Mo) for viewing with Ghostview or printing;
• 2 slides per A4 landscape sheet .ps.gz (3.9 Mo) for viewing with Ghostview or printing;
• 4 slides per A4 landscape sheet .ps.gz (2.8 Mo) for printing in color.

\bibitem{Cousot01-USarre}
P{.} Cousot.
\newblock Abstract Interpretation and Applications.
\newblock \emph{Universit\"at des Sarrlandes, Sarrebr\"ucken, Germany},
June 29$^{\mathrm{th}}$, 2001.

@unpublished{Cousot01-USarre,
   author =  {Cousot, P{.}},
   title =   {Abstract Interpretation and Applications},
   note = {\emph{Universit\"at des Sarrlandes, Sarrebr\"ucken, Germany}, June
   29$^{\mathrm{th}}$, 2001},
}