TY  - BOOK
TI  - Formal Methods in Computer Aided Design (FMCAD)
SN  - 2642-732X
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  - Conference
UR  - https://ieeexplore.ieee.org/servlet/opac?punumber=1001524
ER  -