Zoeken

U zocht naar: Auteur Niemetz, Aina Filter Auteur: Niemetz, Aina weghalen Fulltext online Filter Fulltext: online weghalen
1 - 2 van 2
Aantal zoekresultaten per pagina

Zoekresultaten

1. Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part I
thumbnail
Full text!
Auteur:
S. Akshay; Niemetz, Aina; Sankaranarayanan, Sriram
Uitgever:
Springer Nature 2025
Type:
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!
Auteur:
S. Akshay; Niemetz, Aina; Sankaranarayanan, Sriram
Uitgever:
Springer Nature 2025
Type:
e-book