- S. Akshay 0001, Aina Niemetz, Sriram Sankaranarayanan 0001, editors, Automated Technology for Verification and Analysis - 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II. Volume 15055 of Lecture Notes in Computer Science, Springer, 2025.
- S. Akshay 0001, Aina Niemetz, Sriram Sankaranarayanan 0001, editors, Automated Technology for Verification and Analysis - 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I. Volume 15054 of Lecture Notes in Computer Science, Springer, 2025.