Sciweavers

Share
POPL
2008
ACM
9 years 3 months ago
Lifting abstract interpreters to quantified logical domains
Sumit Gulwani, Bill McCloskey, Ashish Tiwari
books