Bibliographic reference:
\bibitem{ChenEtAl10-VMCAI}
L.~Chen, A.~Min\'e, J.~Wang, \& P.~Cousot.
\newblock An Abstract Domain to Discover Interval Linear Equalities.
\newblock In \emph{11th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'10)}, Madrid, Spain, LNCS 5944, Springer, 2010, pp. 112--128.
@InProceedings{ChenEtAl10-VMCAI,
author = {L.~Chen and A.~Min\'e and J.~Wang and P.~Cousot},
title = {An Abstract Domain to Discover Interval Linear Equalities},
editor = {G. Barthe and .V. Hermenegildo},
pages = {112--128},
booktitle = {Proceedings of the Eleventh International Conference on
Verification, Model Checking and Abstract Interpretation
(VMCAI 2010)},
address = {Madrid, Spain},
publisher = {LNCS 5944, Springer, Heidelberg},
month = {January 17--19},
year = 2010,
}