TY  - BOOK
AU  - "Andrews, Jason R."
TI  - Co-Verification of Hardware And Software
U1  - 005.14 
PB  - Elsevier
ER  -