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

by Ashish Tiwari , Sumit Gulwani
Venue:IN: CADE-21. VOLUME 4603 OF LNAI., SPRINGER-VERLAG
Citations:7 - 0 self