Page values for "Openresearch:CAV 2018"
关于“CAV 2018”的事实
| Acronym | CAV 2018 + |
| End date | 2018年7月17日 (二) + |
| Event in series | CAV + |
| Event type | Conference + |
| Has coordinates | 51° 45' 7", -1° 15' 28"Latitude: 51.752013888889 Longitude: -1.25785 + |
| Has location city | Oxford + |
| Has location country | Category:United Kingdom + |
| Homepage | http://cavconference.org/2018/ + |
| IsA | Event + |
| Start date | 2018年7月14日 (六) + |
| Title | International conference on computer-aided verification + |
