Constructing verified and reliable communications processing systems
- 1 October 1977
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGSOFT Software Engineering Notes
- Vol. 2 (5), 8-13
- https://doi.org/10.1145/1005882.1005885
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- Report on the programming language EuclidACM SIGPLAN Notices, 1977
- A study of protection in programming languagesPublished by Association for Computing Machinery (ACM) ,1977
- GypsyPublished by Association for Computing Machinery (ACM) ,1977
- Operating System Structures to Support Security and Reliable SoftwareACM Computing Surveys, 1976
- Provable programmingPublished by Association for Computing Machinery (ACM) ,1975
- The purpose of concurrent PascalPublished by Association for Computing Machinery (ACM) ,1975
- PASCAL User Manual and ReportLecture Notes in Computer Science, 1974