Binnenlandutwente.nl
SPIN 2025 Best Paper Award
We congratulate Yanni Dong, Milan Lopuhaä-Zwakenberg and Marielle Stoelinga with their success of winning the Best Paper Award at the 31st International Symposium on Model Checking Software, 7-8 May, Hamilton, Canada!
Je gaat naar de website van de uitgever. Hier tonen we alleen een korte intro.

