Best Paper award

Prize: OtherCareer, activity or publication related prizes (lifetime, best paper, poster etc.)Scientific


Best Paper award for the paper "Formalising the Dezyne Modelling Language in mCRL2"
Degree of recognitionInternational

Awarded at event

Event title22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017
LocationTurin, Italy
Period18 Sep 2017 → 20 Sep 2017