Best paper award SEFM 2020

Prize: Prizes / Medals / Awards

Awarded date17 Sept 2020
Degree of recognitionInternational

Awarded at event

Event title18th International Conference on Software Engineering and Formal Methods
LocationVirtuell, Amsterdam, NetherlandsShow on map
Period14 Sept 2020 → 18 Sept 2020

Austrian Fields of Study 2012 (6-stellig)

  • 102022 Software development
  • 102011 Formal languages

Keywords

  • Verification
  • Refinement
  • Portability
  • RTOS
  • Event-B

Fields of Expertise

  • Information, Communication & Computing

Related content