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!














/s3/static.nrc.nl/wp-content/uploads/2025/05/01144524/data131530207-646e2e.jpg)

