TY  - BOOK
TI  - 2017 Formal Methods in Computer Aided Design (FMCAD)
SN  - 978-0-983
PY  - 2017///
PB  - IEEE
KW  - Circuits
KW  - Communication
KW  - Components
KW  - Computing and Processing
KW  - Devices and Systems
KW  - Networking and Broadcast Technologies
KW  - Signal Processing and Analysis
N1  - Proceeding
UR  - https://ieeexplore.ieee.org/servlet/opac?punumber=8093672
ER  -