TY  - GEN
AU  - Piskac,Ruzica
AU  - Whalen,Michael
AU  - Piskac,Ruzica
AU  - Whalen,Michael
TI  - Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021
SN  - 2021/isbn.978-3-85448-046-4
PY  - 2021///
CY  - Vienna
PB  - TU Wien Academic Press
KW  - Systems analysis & design
KW  - bicssc
KW  - Software testing & verification
KW  - Computer architecture & logic design
KW  - Mathematical theory of computation
KW  - Artificial intelligence
KW  - Formal Methods; Computer-Aided System Design; Hardware and System Verification;  Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning
N1  - Open Access
N2  - The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing
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
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
UR  - https://directory.doabooks.org/handle/20.500.12854/72387
ER  -