Sumit Gulwani, George C. Necula
Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions
SAS, 2004.
@inproceedings{SAS-2004-GulwaniN04a, author = "Sumit Gulwani and George C. Necula", booktitle = "{Proceedings of the 11th International Static Analysis Symposium}", doi = "10.1007/978-3-540-27864-1_24", isbn = "3-540-22791-1", pages = "328--343", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions}", volume = 3148, year = 2004, }