Deutsch, Michael S. Software verification and validation realistic project approaches Michael S. Deutsch - Englewood Cliffs, NJ Prentice-Hall c1982 - xvi, 327 p. ill. 25 cm - Prentice-Hall series in software engineering . Includes index Subjects--Topical Terms: Computer programs--VerificationComputer programs--Validation