Best paper award iFM 2022

Prize: Prize (including medals and awards)Academic

Awarded at event

Event title17th International Conference on integrated Formal Methods
LocationLugano, SwitzerlandShow on map
Period7 Jun 2022 → 10 Jun 2022