Page values for "CAV 2002"
Facts about "CAV 2002"
Acceptance rate | 37.2 + |
Accepted papers | 35 + |
Acronym | CAV 2002 + |
End date | July 31, 2002 + |
Event in series | CAV + |
Event type | Conference + |
Has coordinates | 55° 41' 12", 12° 34' 12"Latitude: 55.686725 Longitude: 12.570072222222 + |
Has location city | Copenhagen + |
Has location country | Category:Denmark + |
Homepage | http://floc02.diku.dk/CAV/ + |
IsA | Event + |
Ordinal | 14 + |
Start date | July 27, 2002 + |
Submitted papers | 94 + |
Title | Computer Aided Verification + |