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.
Scholar articles
KR Apt, ER Olderog - Formal Aspects of Computing, 2019