TY - BOOK AU - Deutsch Michael S TI - Software verification and validation realistic project approaches T2 - Prentice hall series in software engineering U1 - D65,8(B)92:81, M2 PY - 1982/// CY - Englewood PB - Cliffs Prentice-Hall KW - software verification ER -