Bibliographic reference:
\bibitem{CousotEtAl-TASE07}
P. Cousot, R. Cousot, J. Feret, L. Mauborgne,
A. Min\'e, D. Monniaux, and X. Rival.
\newblock Varieties of Static Analyzers: A Comparison with
\textsc{Astr\'ee}, invited paper.
\newblock \emph{Proc.\ First IEEE \& IFIP International Symposium on
Theoretical Aspects of Software Engineering, TASE$\,$'{07}}, He Jifeng
and J{.} Sanders (Eds), Shanghai, China, 6—8 June 2007, {IEEE}
Computer Society Press, Los Alamitos, California, USA (2007), pp.\
3--17.
@inProceedings{CousotEtAl-TASE07,
author = {P{.} Cousot and R{.} Cousot and J{.} Feret and L{.}
Mauborgne and A{.} Min{\'e} and D{.} Monniaux and X{.}
Rival},
title = {Varieties of Static Analyzers: A Comparison with
\textsc{Astr\'ee}, invited paper},
booktitle = {Proc. First IEEE \& IFIP International Symposium on Theoretical
Aspects of Software Engineering, TASE$\,$'{07}},
editor = {He Jifeng and J{.} Sanders},
publisher = {{IEEE} Computer Society Press, Los Alamitos, California,
United States},
pages = {3--17},
month = {6--8 June},
year = 2007,
address = {Shanghai, China},
}