Technical correspondence
- 1 May 1990
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 33 (5) , 584-586
- https://doi.org/10.1145/78607.316059
Abstract
No abstract availableThis publication has 10 references indexed in Scilit:
- Uncertainty in computer application and its control through the engineering of softwareJournal of Software Maintenance: Research and Practice, 1989
- Development methods for trusted computer systemsFormal Aspects of Computing, 1989
- Program verification: the very ideaCommunications of the ACM, 1988
- Software aspects of strategic defense systemsCommunications of the ACM, 1985
- Another look at software design methodologyACM SIGSOFT Software Engineering Notes, 1984
- Programs, life cycles, and laws of software evolutionProceedings of the IEEE, 1980
- Social processes and proofs of theorems and programsCommunications of the ACM, 1979
- The humble programmerCommunications of the ACM, 1972
- Proof of a programCommunications of the ACM, 1971
- An axiomatic basis for computer programmingCommunications of the ACM, 1969