Two dogmas of program specification
- 1 August 1985
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGSOFT Software Engineering Notes
- Vol. 10 (4) , 85-87
- https://doi.org/10.1145/1012497.1012532
Abstract
No abstract availableThis publication has 1 reference indexed in Scilit:
- A Formal Method for the Abstract Specification of SoftwareJournal of the ACM, 1984