TY - GEN
AU - Piskac, Ruzica
AU - Whalen, Michael
TI - Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021
PB - TU Wien Academic Press
KW - Systems analysis & design
KW - Software testing & verification
KW - Computer architecture & logic design
KW - Mathematical theory of computation
KW - Artificial intelligence
PY - 2021
CY - Vienna
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation