Automated Technology for Verification and Analysis
Subtitle: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part-II
Publisher: Springer
Published: 2025
Language: eng
ISBN-13: 9783031787492