Teaching calculation and discrimination
- 1 March 1991
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 34 (3) , 44-55
- https://doi.org/10.1145/102868.102870
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Scaling up: a research agenda for software engineeringCommunications of the ACM, 1990
- Predicate Calculus and Program SemanticsPublished by Springer Nature ,1990