View source for CAV 2012

{{Event
|Start date=2012
|Acronym=CAV 2012
|Series=CAV
|Accepted papers=38
|City=Berkeley
|State=California
|Country=USA
|Field=Computer-Aided Verification
|Type=Conference
|Homepage=http://cav12.cs.illinois.edu/
}}
Acceptance rate	31.4 +
Accepted papers	58 +
Acronym	CAV 2012 +
End date	July 13, 2012 +
Event in series	CAV +
Event type	Conference +
Has coordinates	37° 52' 15", -122° 16' 22"Latitude: 37.870838888889 Longitude: -122.27286388889 +
Has location city	Berkeley +
Has location country	Category:USA +
Has location state	California +
Homepage	http://cav12.cs.illinois.edu/ +
IsA	Event +
Ordinal	24 +
Start date	July 7, 2012 +
Submitted papers	185 +
Title	Computer Aided Verification +