Tallenna
Automated Technology for Verification and Analysis
The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October 21 - 25, 2024.
The 24 full papers presented in this volume were carefully reviewed and selected from 73 submissions.
- Alaotsikko
- 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part I
- Toimittaja
- S. Akshay, Aina Niemetz, Sriram Sankaranarayanan
- ISBN
- 9783031787089
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 1.2.2025
- Kustantaja
- Springer International Publishing AG
- Sivumäärä
- 304
