Filter By Industry
None Found
Filter By Tag


CAV Award Committee Press releases

1 - 1 of 1 Press Release

Jul 12, 2012
The 2012 CAV (Computer-Aided Verification) Award was presented on July 11, 2012, at the 24th annual CAV conference in Berkeley, California, to Sam Owre, John Rushby, and Natarajan Shankar of SRI International.

CAV Award Committee RSS Feed