Sciweavers

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