The paper is available in several formats:
     Compressed PostScript .ps.gz (736 Kb),
     Compressed HyperPostScript .hps.gz (736 Kb),
     PDF, A4 paper (360 Kb),
     PDF, US letter (360 Kb).

• PostScript: 1/1 .ps.gz (1.9 Mb), 2/1 .ps.gz (1.5 Kb), 4/1 .ps.gz (1.4 Kb) for viewing with GhostScript and GhostView or (color) printing;
• PDF: 1/1 .pdf.gz (304 Kb), 2/1 .pdf.gz (288 Kb), 4/1 .pdf (276 Kb) to be used with Acrobat Reader.

\bibitem{Cousot03-ZM}
P{.} Cousot.  
\newblock Verification by Abstract Interpretation.
\newblock \emph{Proc{.} Int{.} Symp{.} on Verification -- Theory \&
Practice -- Honoring Zohar Manna's 64th Birthday}, N{.} Dershowitz (Ed.),
Taormina, Italy, June 29 -- July 4, 2003.  Lecture Notes in Computer
Science, vol{.} 2772, pp{.} 243--268.  \copyright{} Springer-Verlag,
Berlin, Germany, 2003.

@InProceedings{Cousot03-ZM,
   author =    {P{.} Cousot},
   title =     {Verification by Abstract Interpretation},
   booktitle = {Proc{.} Int{.} Symp{.} on Verification -- Theory \&
                Practice -- Honoring Zohar Manna's 64th Birthday},
   editor =    {N{.} Dershowitz},
   address =   {Taormina, Italy},
   publisher = {\copyright{} Springer-Verlag, Berlin, Germany},
   pages =     {243--268},
   month =     {June 29 -- July 4},
   year =      2003,
}