TY  - BOOK
TI  - Design and verification of microprocessor systems for high assurance applications
SN  - 9781441915382
U1  - 629.895416HAR 
PY  - 2010///
CY  - New York
PB  - Springer
KW  - electronics
N1  - Sibyl, Kolkata
ER  -