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. https://doi.org/10.1007/978-3-031-19992-9
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, Switzerland: Springer, 2022. https://doi.org/10.1007/978-3-031-19992-9.
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. https://doi.org/10.1007/978-3-031-19992-9.