Akshay, S., Niemetz, A., & Sankaranarayanan, S. (2025). Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part I (1st ed. 2025.). Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-78709-6
Chicago-Zitierstil (17. Ausg.)Akshay, S., Aina Niemetz, und Sriram Sankaranarayanan. Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part I. 1st ed. 2025. Cham: Springer Nature Switzerland, 2025. https://doi.org/10.1007/978-3-031-78709-6.
MLA-Zitierstil (9. Ausg.)Akshay, S., et al. Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part I. 1st ed. 2025. Springer Nature Switzerland, 2025. https://doi.org/10.1007/978-3-031-78709-6.