bib.howest.be Zoekresultaten

U zocht naar: Auteur Niemetz, Aina

1 - 2 van 2

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

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

Auteur:: S. Akshay; Niemetz, Aina; Sankaranarayanan, Sriram
Uitgever:: Springer Nature 2025
Type:: e-book