"Logical Interpretation: Static Program Analysis Using Theorem Proving."

Ashish Tiwari, Sumit Gulwani (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics