Introducing Hoare logic:
C. A. R. Hoare, An axiomatic basis for computer programming, Communications of the ACM 12 10 (1969) 576–580 [doi:10.1145/363235.363259]
also:
in: Programming Methodology. Texts and Monographs in Computer Science, Springer (1978) 89-100 [doi:10.1007/978-1-4612-6315-9_9]
Last revised on January 23, 2023 at 10:42:21. See the history of this page for a list of all contributions to it.