Concepedia

Publication | Open Access

Fifty years of Hoare’s logic

DOIFull Paper Access

61

Citations

102

References

2019

Year

Krzysztof R. Apt, Ernst-Rüdiger Olderog
Formal Aspects of Computing

Abstract

Abstract We present a history of Hoare’s logic.

References

YearCitations

Page 1