TY  - BOOK
AU  - Roopak Sinha ; Parthasarathi Roop Samik Basu
TI  - Correct-by-Construction Approaches for SoC Design
SN  - 9781461478645
PY  - 2014///
CY  - New York
PB  - Springer
KW  - Instrumentation Engineering: Circuits and Systems: Processor Architectures: Electronics and Microelectronics
UR  - http://doi.org/10.1007/978-1-4614-7864-5
ER  -