FMICS-AVoCS 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, ItalyShow on map
Period18 Sept 2017 → 20 Sept 2017