Nadel, A., & Rozier, K. Y. (2023). Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023. TU Wien Academic Press.
Chicago Style (17th ed.) CitationNadel, Alexander, and Kristin Yvonne Rozier. Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023. TU Wien Academic Press, 2023.
MLA (9th ed.) CitationNadel, Alexander, and Kristin Yvonne Rozier. Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023. TU Wien Academic Press, 2023.
Warning: These citations may not always be 100% accurate.