Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part II

Full text!
Format:
e-book
Title:
Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part II
Author:
S. Akshay; Niemetz, Aina; Sankaranarayanan, Sriram
Language:
English
Publisher:
Springer Nature 2025
ISBN:
3-031-78749-8
3-031-78750-1
Permalink:
http://bibtest.howest.be/catalog/ebk03:37516010300041?locale=en