The Science of Deep Specification Andrew W. Appel, Benjamin Pierce, Stephanie Weirich, Steve Zdancewic, Zhong Shao, Adam Chlipala Princeton - Shao - Document - PDFSEARCH.IO

First Page	Meta Content
	The Science of Deep Specification Andrew W. Appel, Benjamin Pierce, Stephanie Weirich, Steve Zdancewic, Zhong Shao, Adam Chlipala Princeton Add to Reading List Document Date: 2016-05-11 15:48:19 Open Document File Size: 2,72 MB Share Result on Facebook

The Science of Deep Specification Andrew W. Appel, Benjamin Pierce, Stephanie Weirich, Steve Zdancewic, Zhong Shao, Adam Chlipala PrincetonAdd to Reading List