Specification prototyping
- 19 April 1982
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGSOFT Software Engineering Notes
- Vol. 7 (5) , 112-119
- https://doi.org/10.1145/1006258.1006279
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- Information Flow Certification Using an Intermediate Code Program RepresentationIEEE Transactions on Software Engineering, 1981
- Abstraction hierarchies in top-down designJournal of Systems and Software, 1981
- Report on the programming language EuclidACM SIGPLAN Notices, 1977