Susan L. Gerhart. Methods for teaching program verification. In Gerald L. Engel, Della T. Bonnette, editors, Proceedings of the 5th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1975, Washington, DC, USA, February 20-21, 1975. pages 172-178, ACM, 1975. [doi]
No references recorded for this publication.
No citations of this publication recorded.