IVRII, Alexander und STRICHMAN, Ofer (Hrsg.). Vienna: TU Wien Academic Press. ISBN 9783854480426.
Elsevier - Harvard (with titles)Ivrii, A., Strichman, O. (Hrsg.), 2020. Proceedings of the 20 th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020. TU Wien Academic Press, Vienna.
American Psychological Association 7th editionIvrii, A., … Strichman, O. (Hrsg.). (ca. 2020). Proceedings of the 20 th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020 [Cd]. TU Wien Academic Press.
Springer - Basic (author-date)Ivrii A, Strichman O (Hrsg.) (2020) Proceedings of the 20 th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020. TU Wien Academic Press, Vienna
Juristische Zitierweise (Stüber) (Deutsch)Ivrii, Alexander/ Strichman, Ofer (Hrsg.), Proceedings of the 20 th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020, Vienna 2020.