bib.howest.be Zoekresultaten

U zocht naar: Auteur Neele, Thomas.

1 Item gevonden

1. Model Checking Software : 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings

Auteur:: Neele, Thomas.; Wijs, Anton
Uitgever:: Cham Springer 2024
Type:: e-book