Friday 13 December 2019
Wytse Oortwijn of the Formal Methods and Tools group, received the Best Paper Award for his paper "Practical Abstractions for ultimated Verification of Message Passing Concurrency".
Wytse Oortwijn of the Formal Methods and Tools group, received the Best Paper Award for his paper "Practical Abstractions for ultimated Verification of Message Passing Concurrency".