Award year: 2019
Category: Other Award
Type:
Awarding organization: 3rd World Congress on Formal Methods, FM 2019