1 Introduction One of the most influential papers of Computer Science to appear during the late 1960’s undoubtedly was Tony’s “An Axiomatic Basis for Computer Programming” [1], introducing a special purpose logi - Loop invariant - Document - PDFSEARCH.IO

First Page	Meta Content
	1 Introduction One of the most influential papers of Computer Science to appear during the late 1960’s undoubtedly was Tony’s “An Axiomatic Basis for Computer Programming” [1], introducing a special purpose logi Add to Reading List Document Date: 2013-09-23 13:44:35 Open Document File Size: 122,33 KB Share Result on Facebook

1 Introduction One of the most influential papers of Computer Science to appear during the late 1960’s undoubtedly was Tony’s “An Axiomatic Basis for Computer Programming” [1], introducing a special purpose logiAdd to Reading List