SIAM J. COMPUT. Vol. 7, No. 1, February 1978 SOUNDNESS AND COMPLETENESS OF AN AXIOM SYSTEM FOR PROGRAM VERIFICATION* STEPHEN A. COOKer

First Page		Document Content
Date: 2012-11-28 10:08:47		SIAM J. COMPUT. Vol. 7, No. 1, February 1978 SOUNDNESS AND COMPLETENESS OF AN AXIOM SYSTEM FOR PROGRAM VERIFICATION* STEPHEN A. COOKer Add to Reading List Source URL: www.cs.utoronto.ca Download Document from Source Website File Size: 2,05 MB Share Document on Facebook