Roberto Giacobazzi, Alessandra Gorla, editors, Static Analysis - 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings. Volume 14995 of Lecture Notes in Computer Science, Springer, 2025. [doi]
Conference: SAS2025