View source for CAV 2008

{{Event
|Acronym=CAV 2008
|Title=Computer Aided Verification
|Ordinal=20
|Series=CAV
|Type=Conference
|Field=Computer-Aided Verification
|Start date=2008/07/07
|End date=2008/07/14
|Homepage=http://www.princeton.edu/cav2008/
|City=Princeton
|Country=USA
|Submitted papers=104
|Accepted papers=33
|has Proceedings Link=https://www.springer.com/gp/book/9783540705437
}}
Acceptance rate	31.7 +
Accepted papers	33 +
Acronym	CAV 2008 +
End date	July 14, 2008 +
Event in series	CAV +
Event type	Conference +
Has coordinates	40° 20' 57", -74° 39' 33"Latitude: 40.349275 Longitude: -74.659294444444 +
Has location city	Princeton +
Has location country	Category:USA +
Homepage	http://www.princeton.edu/cav2008/ +
IsA	Event +
Ordinal	20 +
Start date	July 7, 2008 +
Submitted papers	104 +
Title	Computer Aided Verification +