Assessing the success and impact of Hoare’s logic. (English) Zbl 1507.68081
Jones, Cliff B. (ed.) et al., Theories of programming. The life and works of Tony Hoare. New York, NY: Association for Computing Machinery (ACM). ACM Books 39, 41-76 (2021).