@inproceedings{mine-al:tase07,
   author =    {Cousot, P{.} and Cousot, R{.} and 
                Feret, J{.} and Mauborgne, L{.} and Min\'e, A{.} and 
                Monniaux, D{.} and Rival, X{.}},
   title =     {Varieties of Static Analyzers: A Comparison with {ASTR\'EE}, invited paper},
   booktitle = {Proc. of the First IEEE \& IFIP International Symposium on Theoretical Aspects of Software Engineering (TASE'07)},
   editor =    {He Jifeng and J{.} Sanders},
   publisher = {IEEE CS Press},
   pages =     {3--17},
   month =     {June},
   year =      {2007},
   location =  {Shanghai, China},
   note =      {\url{http://www.di.ens.fr/~mine/publi/CousotP-Astree-TASE07.pdf}}
}