Spar
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.
- Undertittel
- 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
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 12.2.2025
- Antall sider
- 276
