APA (7th ed.) Citation

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 Style (17th ed.) Citation

ATVA Online, Ahmed Bouajjani, Lukáš Holík, and 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 (9th ed.) Citation

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.