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.
2021-03-01
Wytse's thesis "Deductive techniques for model-based concurrency verification" gets the 1st prize at the Versen PhD thesis Award 2021.