Search

You searched for: Auteur Niemetz, Aina Remove constraint Auteur: Niemetz, Aina
1 - 2 of 2
Number of results to display per page

Search Results

1. Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part I
thumbnail
Full text!
Author:
S. Akshay; Niemetz, Aina; Sankaranarayanan, Sriram
Publisher:
Springer Nature 2025
Format:
e-book
2. Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part II
thumbnail
Full text!
Author:
S. Akshay; Niemetz, Aina; Sankaranarayanan, Sriram
Publisher:
Springer Nature 2025
Format:
e-book