TY  - BOOK
AU  - Jefffrey O Grady
TI  - System Verification
SN  - 0000083255
U1  - 001.642Sy 
PY  - 2007///
CY  - London
PB  - Acadamic
KW  -  Proving
KW  -  Requirement
KW  -  Satifies
KW  -  Solution
KW  -  System
KW  -  Verification
KW  - Design
KW  - Systems programming
ER  -