TY - BOOK AU - Deutsch,Michael S. TI - Software verification and validation: realistic project approaches SN - 0138220727 PY - 1982/// CY - Englewood Cliffs, N.J. PB - Prentice-Hall KW - Computer programs KW - Verification KW - Validation ER -