• A4 landscape .pdf (556 Kb) for viewing with Acrobate Reader and compressed PostScript .ps.gz (1.2 Mb) for viewing with Ghostview or printing;
• 2 slides per A4 portrait page .pdf (536 Kb) for viewing with Acrobate Reader and compressed PostScript .ps.gz (1.2 Mb) for viewing with Ghostview or printing;
• 4 slides per A4 landscape sheet for printing, .ps.gz (1008 Kb).

\bibitem{Cousot05-NSAD}
P.~Cousot.
\newblock Parametric Abstraction.
\newblock In \emph{First International Workshop on Numerical \& Symbolic 
          Abstract Domains (NSAD'05)}, 
	  Maison des Polytechniciens, Paris, France, January 21, 2005.

@inprocedings{Cousot05-NSAD,
   author =    {Cousot, P{.}},
   title  =    {Parametric Abstraction},
   booktitle = {First International Workshop on Numerical \& Symbolic 
                Abstract Domains (NSAD'05)},
   address =   {Maison des Polytechniciens, Paris, France},
   month =     jan # " 21",
   year =      2005,
}