Fifty years of Hoare’s logic
We present a history of Hoare’s logic.
Saved in:
Published in | Formal aspects of computing Vol. 31; no. 6; pp. 751 - 807 |
---|---|
Main Authors | , |
Format | Journal Article |
Language | English |
Published |
London
Springer London
01.12.2019
|
Subjects | |
Online Access | Get full text |
Cover
Loading…
Summary: | We present a history of Hoare’s logic. |
---|---|
ISSN: | 0934-5043 1433-299X |
DOI: | 10.1007/s00165-019-00501-3 |