TY - BOOK AU - Deutsch, Michael S TI - Software verification and validation: realistic project approaches U1 - 658.054 D489S PY - 1982/// CY - Englewood PB - Prentice-Hall ER -