Terry Shepard. On Teaching Software Verification and Validation. In Rosalind L. Ibrahim, editor, Software Engineering Education, 8th SEI CSEE Conference, New Orleans, LA, USA, March 29 - April 1, 1995, Proceedings. Volume 895 of Lecture Notes in Computer Science, pages 375-385, Springer, 1995.
Abstract is missing.