Formalization in program development
- 1 December 1982
- journal article
- Published by Springer Nature in BIT Numerical Mathematics
- Vol. 22 (4) , 437-453
- https://doi.org/10.1007/bf01934408
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- More thoughts on specification and verificationACM SIGSOFT Software Engineering Notes, 1981
- Modular program construction using abstractionsPublished by Springer Nature ,1980
- Abstract ArchitecturePublished by Springer Nature ,1980
- A formal definition of ALGOL 60 as described in the 1975 modified reportPublished by Springer Nature ,1978
- The meta-language: A reference manualPublished by Springer Nature ,1978
- A supplement to the ALGOL 60 Revised ReportThe Computer Journal, 1976
- Revised report on the algorithmic language ALGOL 60Communications of the ACM, 1963