Authors
Krzysztof R Apt, Ernst-Rüdiger Olderog
Publication date
2019/12
Journal
Formal Aspects of Computing
Volume
31
Pages
751-807
Publisher
Springer London
Description
We present a history of Hoare’s logic.
Total citations
20192020202120222023202421218191613
Scholar articles
KR Apt, ER Olderog - Formal Aspects of Computing, 2019