Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part-I Book uri icon

Overview

abstract

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

publication date

  • March 9, 2025

Date in CU Experts

  • February 1, 2026 12:55 PM

Full Author List

  • Akshay S; Niemetz A; Sankaranarayanan S

author count

  • 3

Other Profiles

International Standard Book Number (ISBN) 10

  • 3031787080

International Standard Book Number (ISBN) 13

  • 9783031787089