TY  - BOOK
AU  - Grady,Jeffrey O.
TI  - System Verification
SN  - 9780123740144
U1  - 620.001171 
PY  - 2007///
PB  - Academic Press
KW  - TECHNOLOGY & ENGINEERING
ER  -