## Ashish Tiwari, Sumit Gulwani

*Logical Interpretation: Static Program Analysis Using Theorem Proving*

CADE, 2007.

@inproceedings{CADE-2007-TiwariG, author = "Ashish Tiwari and Sumit Gulwani", booktitle = "{Proceedings of the 21st International Conference on Automated Deduction}", doi = "10.1007/978-3-540-73595-3_11", isbn = "978-3-540-73594-6", pages = "147--166", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Logical Interpretation: Static Program Analysis Using Theorem Proving}", volume = 4603, year = 2007, }