Advances in Programming Languages Certifying correctness David Aspinall School of Informatics The University of Edinburgh - Proof-carrying code - Document - PDFSEARCH.IO

First Page	Meta Content
	Advances in Programming Languages Certifying correctness David Aspinall School of Informatics The University of Edinburgh Add to Reading List Document Date: 2010-01-27 19:53:39 Open Document File Size: 320,06 KB Share Result on Facebook

Advances in Programming Languages Certifying correctness David Aspinall School of Informatics The University of EdinburghAdd to Reading List