ATVA Online, Hou, Z., & Ganesh, V. (2021). Automated technology for verification and analysis: 19th international symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, proceedings. Springer. https://doi.org/10.1007/978-3-030-88885-5
Chicago-Zitierstil (17. Ausg.)ATVA Online, Zhe Hou, und Vijay Ganesh. Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings. Cham, Switzerland: Springer, 2021. https://doi.org/10.1007/978-3-030-88885-5.
MLA-Zitierstil (9. Ausg.)ATVA Online, et al. Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings. Springer, 2021. https://doi.org/10.1007/978-3-030-88885-5.