\bibitem{ccfmmmr07}
{\sc Cousot, P., Cousot, R., Feret, J., Min{\'e}, A., Mauborgne, L., Monniaux,
  D., and Rival, X.}
\newblock Varieties of static analyzers: A comparison with astree.
\newblock In {\em First Joint IEEE/IFIP Symposium on Theoretical Aspects of
  Software Engineering, TASE 2007\/} (2007), IEEE Computer Society, pp.~3--20.

@inproceedings{ccfmmmr07,
  author    = {Patrick Cousot and
               Radhia Cousot and
               J{\'e}r{\^o}me Feret and
               Antoine Min{\'e} and
               Laurent Mauborgne and
               David Monniaux and
               Xavier Rival},
  title     = {Varieties of Static Analyzers: A Comparison with ASTREE},
  booktitle = {First Joint IEEE/IFIP Symposium on Theoretical Aspects of
               Software Engineering, TASE 2007},
  year      = {2007},
  pages     = {3--20},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/TASE.2007.55},
  publisher = {IEEE Computer Society},
}