Best paper award SEFM 2020

Prize: Prizes / Medals / Awards

Degree of recognitionInternational

Awarded at event

Event title18th International Conference on Software Engineering and Formal Methods
LocationVirtuell, Amsterdam, Netherlands
Period14 Sep 2020 → 18 Sep 2020

Fields of Expertise

  • Information, Communication & Computing

Austrian Fields of Study 2012 (6-stellig)

  • 102022 Software development
  • 102011 Formal languages

Keywords

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