Best paper award at IFM 2019
2020-02-19
The paper Practical Abstractions for Automated Verification of Message Passing Concurrency written by Wytse Oortwijn and Marieke Huisman got the best paper award at IFM 2019 conference .
![]()
2020-02-19
The paper Practical Abstractions for Automated Verification of Message Passing Concurrency written by Wytse Oortwijn and Marieke Huisman got the best paper award at IFM 2019 conference .
![]()