Filter By Industry
None Found
Filter By Tag

Newsroom

CAV Award Committee Press releases

1 - 1 of 1 Press Release

2012 CAV (Computer Aided Verification) Award Announcement
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