• 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{Cousot-NYU-2007-04-09}
P.~Cousot.
\newblock Abstract interpretation with applications to semantics and static analysis.
\newblock \emph{CS Colloquium, Departmental Seminar}, 
         New York University, NY, USA, April 9${^\mathrm{th}}$ 2007.

@inProceedings{Cousot-NYU-2007-04-09,
   author =    {P{.} Cousot},
   title =     {Abstract interpretation with applications to semantics and static analysis},
   booktitle = {CS Colloquium, Departmental Seminar},
   address =   {New York University, NY, USA},
   month =     {April 9${^\mathrm{th}}$},
   year =      2007,
}