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

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...

Full description

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Akshay, S. (Editor), Niemetz, Aina (Editor), Sankaranarayanan, Sriram (Editor)
Format:	Electronic eBook
Language:	English
Published:	Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Edition:	1st ed. 2025.
Series:	Lecture Notes in Computer Science, 15055
Subjects:	Software engineering. Computer engineering. Computer networks . Artificial intelligence. Computers. Computer science. Software Engineering. Computer Engineering and Networks. Artificial Intelligence. Computer Hardware. Theory of Computation.
Online Access:	https://doi.org/10.1007/978-3-031-78750-8
Tags:	Add Tag No Tags, Be the first to tag this record!