The paper is available in several formats:
     Compressed PostScript .ps.gz (366 Kb),
     PDF (264 Kb).

\bibitem{CousotEtAl-ASTREE-ESOP05}
P{.}~Cousot, R{.}~Cousot, J{.}~Feret, L{.}~Mauborgne, A{.}~Min\'e, D{.}~Monniaux, and X{.}~Rival.  
\newblock The {ASTR\'EE} {A}nalyser.
\newblock \emph{Proc{.} European Symp{.} on Programming} (ESOP'05), Edinburgh, Scotland, April
2--10, 2005, LNCS 3444, M{.}~Sagiv (Ed.), pp{.} 21--30.  \textcopyright\ Springer, 2005.

@InProceedings{CousotEtAl-ASTREE-ESOP05,
   author =    {P{.}~Cousot and  R{.}~Cousot and J{.}~Feret and L{.}~Mauborgne 
                and A{.}~Min\'e and D{.}~Monniaux and X{.}~Rival},
   title =     {The {ASTR\'EE} {A}nalyser},
   pages =     {21--30},
   booktitle = {Proceedings of the European Symposium on Programming (ESOP'05)},
   series =    {Lecture Notes in Computer Science},
   editor =    {M{.}~Sagiv},
   volume =    {3444},
   address =   {Edinburgh, Scotland},
   publisher = {\textcopyright\ Springer},
   month =     {April 2--10},
   year =      2005,
}