Programming with Proofs: Language-Based Approaches to Totally Correct Software Aaron Stump Computer Science and Engineering Washington University in St. Louis St. Louis, Missouri, USA - Language software - Document - PDFSEARCH.IO

First Page	Meta Content
	Programming with Proofs: Language-Based Approaches to Totally Correct Software Aaron Stump Computer Science and Engineering Washington University in St. Louis St. Louis, Missouri, USA Add to Reading List Document Date: 2005-10-11 03:37:12 Open Document File Size: 104,31 KB Share Result on Facebook

Programming with Proofs: Language-Based Approaches to Totally Correct Software Aaron Stump Computer Science and Engineering Washington University in St. Louis St. Louis, Missouri, USAAdd to Reading List