APA (7th ed.) Citation

FMCAD Trient, Griggio, A., & Rungta, N. (2022). Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022. TU Wien Academic Press. https://doi.org/10.34727/2022/isbn.978-3-85448-053-2

Chicago Style (17th ed.) Citation

FMCAD Trient, Alberto Griggio, and Neha Rungta. Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022. Wien: TU Wien Academic Press, 2022. https://doi.org/10.34727/2022/isbn.978-3-85448-053-2.

MLA (9th ed.) Citation

FMCAD Trient, et al. Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022. TU Wien Academic Press, 2022. https://doi.org/10.34727/2022/isbn.978-3-85448-053-2.