Arie Gurfinkel, Sagar Chaki
Boxes: A Symbolic Abstract Domain of Boxes
SAS, 2010.
@inproceedings{SAS-2010-GurfinkelC, author = "Arie Gurfinkel and Sagar Chaki", booktitle = "{Proceedings of the 17th International Static Analysis Symposium}", doi = "10.1007/978-3-642-15769-1_18", isbn = "978-3-642-15768-4", pages = "287--303", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Boxes: A Symbolic Abstract Domain of Boxes}", volume = 6337, year = 2010, }