An Axiomatic Basis for Computer Programmingcrary/819-f09/Hoare69.pdf · Title: An Axiomatic Basis...
6
An Axiomatic Basis for Computer Programmingcrary/819-f09/Hoare69.pdf · Title: An Axiomatic Basis for Computer Programming Author: C. A. R. Hoare Created Date: 1/31/1999 4:27:57 PM