Compressed PostScript .ps.gz (456 Kb)

PDF (172 Kb)

• A4 landscape .pdf (5.2 Mb).
• 2 slides per A4 landscape page .pdf (4.9 Mb);
• 4 slides per A4 landscape sheet .pdf (4.8 Mb).

\bibitem{CousotCousot04-WCC}
P.~Cousot and R.~Cousot.
\newblock Basic Concepts of Abstract Interpretation.
\newblock In \emph{Building the Information Society}, R.~Jacquard (Ed.),
pages 359--366. Kluwer Academic Publishers 2004.

@inbook{CousotCousot04-WCC,
   author =    {Cousot, P{.} and Cousot, R{.}},
   title =     {Basic Concepts of Abstract Interpretation},
   booktitle = {Building the Information Society},
   pages =     {359--366},
   editor =    {Jacquard, R{.}},
   publisher = {Kluwer Academic Publishers},
   year =      2004,
}