GRIGGIO, Alberto und RUNGTA, Neha (Hrsg.). Vienna: TU Wien Academic Press. ISBN 9783854480532.
Elsevier - Harvard (with titles)Griggio, A., Rungta, N. (Hrsg.), 2022. Proceedings of the 22 nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022, Conference Series: Formal Methods in Computer-Aided Design. TU Wien Academic Press, Vienna.
American Psychological Association 7th editionProceedings of the 22 nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022. (ca. 2022). [Cd]. In A. Griggio & N. Rungta (Hrsg.), Conference Series: Formal Methods in Computer-Aided Design. TU Wien Academic Press.
Springer - Basic (author-date)Griggio A, Rungta N (Hrsg.) (2022) Proceedings of the 22 nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022. TU Wien Academic Press, Vienna
Juristische Zitierweise (Stüber) (Deutsch)Griggio, Alberto/ Rungta, Neha (Hrsg.), Proceedings of the 22 nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022, Vienna 2022.