@inproceedings{VMCAI-2012-BouajjaniDES,
author = "Ahmed Bouajjani and Cezara Dragoi and Constantin Enea and Mihaela Sighireanu",
booktitle = "{Proceedings of the 13th International Conference on Verification, Model Checking and Abstract Interpretation}",
doi = "10.1007/978-3-642-27940-9_1",
isbn = "978-3-642-27939-3",
pages = "1--22",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data}",
volume = 7148,
year = 2012,
}
Tags: