On the proof of correctness of a calendar program
- 1 October 1979
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 22 (10) , 554-556
- https://doi.org/10.1145/359156.359160
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- An analysis of algorithms for the Dutch National Flag ProblemCommunications of the ACM, 1978
- Test data as an aid in proving program correctnessCommunications of the ACM, 1978
- Observations of Fallibility in Applications of Modern Programming MethodologiesIEEE Transactions on Software Engineering, 1976