Automated technology for verification and analysis: 22nd international symposium, atva 2024, kyoto, japan, october 21–25, 2024, proceedings, part i
Éditeur :
Springer International Publishing AG
ISBN :
9783031787089
Date de publication :
1 févr. 2025
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
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.