ATVA Online, Bouajjani, A., Holík, L., & Wu, Z. (2022). Automated technology for verification and analysis: 20th international symposium, ATVA 2022 virtual event, October 25-28-, 2022 : proceedings. Springer.
Chicago-Zitierstil (17. Ausg.)ATVA Online, Ahmed Bouajjani, Lukáš Holík, und Zhilin Wu. Automated Technology for Verification and Analysis: 20th International Symposium, ATVA 2022 Virtual Event, October 25-28-, 2022 : Proceedings. Cham: Springer, 2022.
MLA-Zitierstil (9. Ausg.)ATVA Online, et al. Automated Technology for Verification and Analysis: 20th International Symposium, ATVA 2022 Virtual Event, October 25-28-, 2022 : Proceedings. Springer, 2022.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.