Fifty years of Hoare’s logic
Crossref DOI link: https://doi.org/10.1007/s00165-019-00501-3
Published Print: 2019-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Apt, Krzysztof R.
Olderog, Ernst-Rüdiger
Text and Data Mining valid from 2019-12-01
Version of Record valid from 2019-12-01
Article History
Received: 8 April 2019
Accepted: 8 November 2019
First Online: 27 November 2019