A Mechanized Program Verifier J Strother Moore1 Department of Computer Sciences, University of Texas at Austin, Austin, Texas 78712, USA , WWW home page: http: cs.utexas.edu users moore - Strother - Document - PDFSEARCH.IO

First Page	Meta Content
	A Mechanized Program Verifier J Strother Moore1 Department of Computer Sciences, University of Texas at Austin, Austin, Texas 78712, USA , WWW home page: http://cs.utexas.edu/users/moore Add to Reading List Document Date: 2005-10-11 03:37:08 Open Document File Size: 95,32 KB Share Result on Facebook

A Mechanized Program Verifier J Strother Moore1 Department of Computer Sciences, University of Texas at Austin, Austin, Texas 78712, USA , WWW home page: http://cs.utexas.edu/users/mooreAdd to Reading List