APA (7th ed.) Citation

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

Akshay, S., Aina Niemetz, and 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 (9th ed.) Citation

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.