Spara
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.
- Undertitel
- 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part II
- Redaktör
- S. Akshay, Aina Niemetz, Sriram Sankaranarayanan
- ISBN
- 9783031787492
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2025-02-12
- Sidor
- 276
