TY  - BOOK
AU  - Fisher,Marcus S.
TI  - Software verification and validation: an engineering and scientific approach 
SN  - 0387327258 (hbk.)
PY  - 2007///
CY  - New York
PB  - Springer
KW  - Computer software
KW  - Validation
KW  - Verification
UR  - http://www.loc.gov/catdir/toc/fy0710/2006934593.html
ER  -