Ivrii, A., & Strichman, O. (2020). Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020. TU Wien Academic Press.
Chicago Style (17th ed.) CitationIvrii, Alexander, and Ofer Strichman. Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020. Wien: TU Wien Academic Press, 2020.
MLA (9th ed.) CitationIvrii, Alexander, and Ofer Strichman. Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020. TU Wien Academic Press, 2020.
Warning: These citations may not always be 100% accurate.