TY  - BOOK
AU  - Grady, Jeffrey
TI  - System Verification
SN  - 9780128042212
PB  - Elsevier
KW  - Engineering
UR  - https://www.sciencedirect.com/science/book/9780128042212
ER  -