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.
@inproceedings{Shepard95,
title = {On Teaching Software Verification and Validation},
author = {Terry Shepard},
year = {1995},
tags = {teaching},
researchr = {https://researchr.org/publication/Shepard95},
cites = {0},
citedby = {0},
pages = {375-385},
booktitle = {Software Engineering Education, 8th SEI CSEE Conference, New Orleans, LA, USA, March 29 - April 1, 1995, Proceedings},
editor = {Rosalind L. Ibrahim},
volume = {895},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-58951-1},
}