2014 CAV (Computer-Aided Verification Conference) Award Announcement

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.



via Education - Latest News http://ift.tt/1liiy6J