• PostScript: 1/1 .ps.gz, 2/1 .ps.gz, 4/1 .ps.gz for viewing with GhostScript and GhostView or (color) printing;
• PDF: 1/1 .pdf, 2/1 .pdf, 4/1 .pdf to be used with Acrobat Reader.

\bibitem{CousotCousot-Mestre-23-10-06}
P.~Cousot \& R.~Cousot.
\newblock Abstract interpretation and a range of applications.
\newblock \emph{Seminario del Dipartimento di Informatica}, 
         Universit\`a Ca' Foscari Venezia, Mestre, Italy, October 23${^\mathrm{rd}}$ 2006.

@inProceedings{CousotCousot-Mestre-23-10-06,
   author =    {P{.} Cousot and R{.} Cousot},
   title =     {Abstract interpretation and a range of applications},
   booktitle = {Seminario del Dipartimento di Informatica},
   address =   {Universit\`a Ca' Foscari Venezia, Mestre, Italy},
   month =     {October 23${^\mathrm{rd}}$},
   year =      2006,
}