Ivrii, A., & Strichman, O. (2020). Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020. TU Wien Academic Press.
Čikaški stil citiranja (17. izdanje)Ivrii, Alexander, i Ofer Strichman. Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020. Vienna: TU Wien Academic Press, 2020.
MLA način citiranja (9. izdanje)Ivrii, Alexander, i Ofer Strichman. Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020. TU Wien Academic Press, 2020.
Upozorenje: Ovi citati možda nisu uvijek 100% točni.