CAV 2005
Revision as of 15:06, 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... | |
Table of Contents | |
Facts about "CAV 2005"
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 + |
Title | Computer Aided Verification + |