Abstracting Abstract Machines David Van Horn ∗ Matthew Might Northeastern University - Automated theorem proving - Document - PDFSEARCH.IO

First Page	Meta Content
	Abstracting Abstract Machines David Van Horn ∗ Matthew Might Northeastern University Add to Reading List Document Date: 2010-07-26 15:43:30 Open Document File Size: 319,63 KB Share Result on Facebook

Abstracting Abstract Machines David Van Horn ∗ Matthew Might Northeastern UniversityAdd to Reading List