Filter By Industry
Filter By Tag

Newsroom

CAV Award Committee Press releases

1 - 1 of 1 Press Release

2014 CAV (Computer-Aided Verification Conference) Award Announcement
Jul 20, 2014
2014 CAV Award Announcement The 2014 CAV (Computer-Aided Verification) Award was presented on July 19, 2014, at the 26th annual CAV conference in Vienna, to Patrice Godefroid, Doron Peled, Antti Valmari, and Pierre Wolper.


CAV Award Committee RSS Feed