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