GRIGGIO, Alberto, 2022. Proceedings of the 22 nd Conference on Formal Methods in Computer-Aided Design - FMCAD 2022. Vienna: TU Wien Academic Press. ISBN 9783854480532.
Elsevier - Harvard (with titles)Griggio, A., 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. https://doi.org/20.500.12657/58896
American Psychological Association 7th editionGriggio, A. (ca. 2022). Proceedings of the 22 nd Conference on Formal Methods in Computer-Aided Design - FMCAD 2022 [Cd]. In N. Rungta (Hrsg.), Conference Series: Formal Methods in Computer-Aided Design. TU Wien Academic Press. https://doi.org/20.500.12657/58896
Springer - Basic (author-date)Griggio A (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, Proceedings of the 22 nd Conference on Formal Methods in Computer-Aided Design - FMCAD 2022, Vienna 2022.