Fifty years of Hoare’s logic

2019-12-01

Formal Aspects of Computing , Volume 31 - Issue 6 p. 751- 807

We present a history of Hoare’s logic.

Additional Metadata
Persistent URL	doi.org/10.1007/s00165-019-00501-3
Journal	Formal Aspects of Computing
Organisation	Centrum Wiskunde & Informatica, Amsterdam (CWI), The Netherlands
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Apt, K., & Olderog, E.-R. (2019). Fifty years of Hoare’s logic. Formal Aspects of Computing, 31(6), 751–807. doi:10.1007/s00165-019-00501-3

Publication