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

First Page		Document Content
Date: 2016-05-11 15:48:19		The Science of Deep Specification Andrew W. Appel, Benjamin Pierce, Stephanie Weirich, Steve Zdancewic, Zhong Shao, Adam Chlipala Princeton Add to Reading List Source URL: www.cis.upenn.edu Download Document from Source Website File Size: 2,72 MB Share Document on Facebook