@inproceedings{VMCAI-2010-ChenMWC,
author = "Liqian Chen and Antoine Miné and Ji Wang and Patrick Cousot",
booktitle = "{Proceedings of the 11th International Conference on Verification, Model Checking and Abstract Interpretation}",
doi = "10.1007/978-3-642-11319-2_11",
isbn = "978-3-642-11318-5",
pages = "112--128",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{An Abstract Domain to Discover Interval Linear Equalities}",
volume = 5944,
year = 2010,
}
Tags: