CAV 2005
Revision as of 15:11, 9 February 2021 by Saskia.Ernert (talk | contribs)
CAV 2005 | |
---|---|
Computer Aided Verification
| |
Ordinal | 17 |
Event in series | CAV |
Dates | 2005 - |
Homepage: | http://www.cav2005.inf.ed.ac.uk/ |
Location | |
Location: | Edinburgh, Scotland |
Loading map... | |
Papers: | Submitted 155 / Accepted 48 (31 %) |
Table of Contents | |
Facts about "CAV 2005"
Acceptance rate | 31.0 + |
Accepted papers | 48 + |
Acronym | CAV 2005 + |
Event in series | CAV + |
Event type | Conference + |
Has coordinates | 55° 57' 12", -3° 11' 18"Latitude: 55.953344444444 Longitude: -3.188375 + |
Has location city | Edinburgh + |
Has location country | Category:Scotland + |
Homepage | http://www.cav2005.inf.ed.ac.uk/ + |
IsA | Event + |
Ordinal | 17 + |
Start date | 2005 + |
Submitted papers | 155 + |
Title | Computer Aided Verification + |