Tampere University of Technology

TUTCRIS Research Portal

CAV Award

Prize: Award or honor granted for a specific work

???prize_details???

Antti Valmari (Recipient)

Awarded date2014
Granting Organisations26th International Conference on Computer-Aided Verification, 18-22 July 2014, Vienna, Austria

ID: 12148420