International Conference on Computer-Aided Verification (CAV)
Main Track
2013 · Acceptance Rates and Submission Statistics
- Year
- 2013
- Submitted
- 209
- Accepted
- 70
- Acceptance rate
- 33.49%
Keyword cloud
External data module · Keyword cloud
Main Track