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