TY  - BOOK
AU  - Deutsch,Michael
TI  - Software verification and validation
SN  - 138220727
PY  - 1982///
CY  - New Jersey 
PB  - Prentice Hall
KW  - Computer programs
KW  - Verification
KW  - Validation
ER  -