CAV 2010
Jump to navigation
Jump to search
Event Rating
median | worst |
---|---|
![]() |
![]() |
List of all ratings can be found at CAV 2010/rating
CAV 2010 | |
---|---|
Computer Aided Verification
| |
Ordinal | 22 |
Event in series | CAV |
Dates | 2010-07-15 (iCal) - 2010-07-19 |
Homepage: | http://www.floc-conference.org/CAV-home.html |
Location | |
Location: | GB/SCT/Edinburgh, GB/SCT, GB |
Papers: | Submitted 145 / Accepted 51 (35.2 %) |
Table of Contents | |