Logical interpretation: Static program analysis using theorem proving (2007)

by A Tiwari, S Gulwani
Venue:of Lecture Notes in Computer Science