TY  - BOOK
AU  - Piskac, Ruzica||Whalen, Michael
TI  - Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021
KW  - Formal Methods; Computer-Aided System Design; Hardware and System Verification;  Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning
UR  - https://library.oapen.org/bitstream/20.500.12657/51064/1/E-Book_Proceedings%20of%20the%2021st%20Conference%20on%20Formal%20Methods%20in%20Computer-Aided%20Design%20%e2%80%93%20FMCAD%202021.pdf||https://library.oapen.org/bitstream/20.500.12657/51064/1/E-Book_Proceedings%20of%20the%2021st%20Conference%20on%20Formal%20Methods%20in%20Computer-Aided%20Design%20%e2%80%93%20FMCAD%202021.pdf
ER  -