\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},
}