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]
Abstract is missing.