Abstract Domains for Universal and Existential Properties.

Andrew Heaton, Patricia M. Hill, Andy King

Browse the full ESOP paper archive.