Towards the construction of verifiable software systems
- 15 March 1976
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 11 (SI) , 141-148
- https://doi.org/10.1145/942574.807132
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Program Design With Abstract Data TypesPublished by Defense Technical Information Center (DTIC) ,1975
- MonitorsCommunications of the ACM, 1974
- Programming with abstract data typesPublished by Association for Computing Machinery (ACM) ,1974
- Synchronization of communicating processesCommunications of the ACM, 1972
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- Solution of a problem in concurrent programming controlCommunications of the ACM, 1965