Ali Mili. A case for teaching program verification: Its importance in the CS curriculum. In Larry K. Cottrell, Sheau-Dong Lang, A. Joe Turner, editors, Proceedings of the 14th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1983, Orlando, FL, USA, February 17-18, 1983. pages 2-6, ACM, 1983. [doi]
Abstract is missing.