Ashish Tiwari. Lifting abstract interpreters to quantified logical domains (2008)

by Sumit Gulwani, Bill McCloskey
Venue:In POPL