@inproceedings{mine-al:esop05,
   author =    {Cousot, P{.} and Cousot, R{.} and 
                Feret, J{.} and Mauborgne, L{.} and Min\'e, A{.} and 
                Monniaux, D{.} and Rival, X{.}},
   title =     {The {ASTR\'EE} Analyzer},
   pages =     {21--30},
   booktitle = {Proc. of the European Symposium on Programming (ESOP'05)},
   publisher = {Springer},
   month =     {April},
   location =  {Edinburgh, Scotland},
   volume =    {3444},
   series =    {Lecture Notes in Computer Science},
   year =      {2005},
   note =      {\url{http://www.di.ens.fr/~mine/publi/esop05_astree.pdf}}
}