Assessing the success and impact of Hoare’s Logic

Additional Metadata
Persistent URL	doi.org/10.1145/3477355.3477359
Organisation	CWI management
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. (2021). Assessing the success and impact of Hoare’s Logic. In Theories of Programming: The Life and Works of Tony Hoare (pp. 41–76). doi:10.1145/3477355.3477359

Publication