APA Style

RUZICA, P., MICHAEL, W. (2021). Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021 . Vienna: TU Wien Academic Press.

MLA Style

RUZICA, Piskac., MICHAEL, Whalen. "Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021". Vienna: TU Wien Academic Press, 2021. Text.