Sciweavers

POPL
2008
ACM
15 years 10 months ago
Lifting abstract interpreters to quantified logical domains
Sumit Gulwani, Bill McCloskey, Ashish Tiwari