Skip to main navigation
Skip to search
Skip to main content
Tampere University Research Portal
Help & FAQ
English
Suomi
Home
Profiles
Research Units
Research output
Activities
Datasets
Research Infrastructures
Press / Media
Prizes
Search by expertise, name or affiliation
CAV Award
Valmari, A. (Recipient)
Prize
:
Award or honor granted for a specific work
Awarded date
2014
Granting Organisations
26th International Conference on Computer-Aided Verification, 18-22 July 2014, Vienna, Austria