Fifty years of Hoare’s logic

We present a history of Hoare’s logic.

Saved in:
Bibliographic Details
Published inFormal aspects of computing Vol. 31; no. 6; pp. 751 - 807
Main Authors Apt, Krzysztof R., Olderog, Ernst-Rüdiger
Format Journal Article
LanguageEnglish
Published London Springer London 01.12.2019
Subjects
Computer Science
Math Applications in Computer Science
Original Article
Theory of Computation
Online AccessGet full text

Cover

More Information
Summary:We present a history of Hoare’s logic.
ISSN:0934-5043
1433-299X
DOI:10.1007/s00165-019-00501-3