| Computer Aided Verification |
Article Index for Computer Aided |
Website Links For Computer Aided |
Information AboutComputer Aided Verification |
| CATEGORIES ABOUT COMPUTER AIDED VERIFICATION | |
| computer science conferences | |
| logic conferences | |
| international conferences | |
|
The first CAV was held in 1989 in Grenoble , France . The eighteenth and most recent CAV was part of the Federated Logic Conference in Seattle , USA in August 2006 . CAV traditionally attracts attention from the computer industry. EXTERNAL LINKS |
|
|