Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part II

MLA

S. Akshay, 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. Springer Nature, 2025.

APA

S. Akshay, S. Akshay, 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. Springer Nature.

Chicago

S. Akshay, 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. : Springer Nature, 2025.