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 II (1st ed. 2025.). Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-78750-8
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 II. 1st ed. 2025. Cham: Springer Nature Switzerland, 2025. https://doi.org/10.1007/978-3-031-78750-8.
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 II. 1st ed. 2025. Springer Nature Switzerland, 2025. https://doi.org/10.1007/978-3-031-78750-8.