The modal logic of programs
- 1 January 1979
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 385-409
- https://doi.org/10.1007/3-540-09510-1_31
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Is “sometime” sometimes better than “always”?Communications of the ACM, 1978
- On the theory of programming logicsPublished by Association for Computing Machinery (ACM) ,1977
- An axiomatic basis for computer programmingCommunications of the ACM, 1969