Bibliographic reference:
\bibitem{CousotEtAl06-ASIAN}
P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné,
D. Monniaux, & X. Rival.
\newblock Combination of Abstractions in the \textsc{Astr\'ee}
Static Analyzer.
\newblock In \emph{Eleventh Annual Asian Computing Science
Conference (ASIAN'06)}, M.\ Okada and I.\ Satoh (Eds), pages
272--300, Tokyo, Japan, December 6--8, 2006. Lecture Notes in Computer 4435, Springer, Berlin, 2007.
@inproceedings{CousotEtAl06-ASIAN,
author = {P{.} Cousot and R{.} Cousot and J{.} Feret and L{.} Mauborgne and
A{.} Miné and D{.} Monniaux and X{.} Rival},
title = {Combination of Abstractions in the \textsc{Astr\'ee}
Static Analyzer},
pages = {1--24},
booktitle = {Eleventh Annual Asian Computing Science Conference
(ASIAN'06)},
editor = {M{.} Okada and I{.} Satoh},
address = {Tokyo, Japan, LNCS 4435},
publisher = {Springer, Berlin},
month = dec # " 6--8",
pages = {272--300},
year = 2007,
}