Bibliographic reference:
\bibitem{ChenEtAl08-APLAS}
L.~Chen, A.~Min\'e, \& P.~Cousot.
\newblock A Sound Floating-Point Polyhedra Abstract Domain.
\newblock In Proc. \emph{6th Asian Symposium (APLAS'08)}, Bangalore, India,
volume 5356 of Lecture Notes in Computer Science,
Dec. 9--11, 2008 Springer, pp.~3--18.
@InProceedings{ChenEtAl08-APLAS,
author = {L.~Chen and A.~Min\'e and J.~Wang and P.~Cousot},
title = {A Sound Floating-Point Polyhedra Abstract Domain},
editor = {G.~Ramalingam},
pages = {3--18},
booktitle = {Proceedings of the sixth Asian Symposium (APLAS'08)},
address = {Bangalore, India},
publisher = {LNCS 5356, Springer, Berlin},
month = {January 17--19},
year = 2009,
}