1st prize at Versen PhD Thesis Award 2021

2021-03-01

Wytse's thesis "Deductive techniques for model-based concurrency verification" gets the 1st prize at the Versen PhD thesis Award 2021.

Book cover of Deductive Techniques for Model-Based Concurrency Verification by Wytse Oortwijn