APA (7th ed.) Citation

Griggio, A., & Rungta, N. (2022). Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design - FMCAD 2022. TU Wien Academic Press.

Chicago Style (17th ed.) Citation

Griggio, Alberto, and Neha Rungta. Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design - FMCAD 2022. Vienna: TU Wien Academic Press, 2022.

MLA (9th ed.) Citation

Griggio, Alberto, and Neha Rungta. Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design - FMCAD 2022. TU Wien Academic Press, 2022.