Introduction to Software Verification and Validation SEI Curriculum Module SEI-CM-13-1.1 December 1988 James S. Collofello Arizona State University Carnegie Mellon University…
