View source for CAV 2012

{{Event
|Acronym=CAV 2012
|Title=Computer Aided Verification
|Ordinal=24
|Series=CAV
|Type=Conference
|Field=Computer-Aided Verification
|Start date=2012/07/07
|End date=2012/07/13
|Homepage=http://cav12.cs.illinois.edu/
|City=Berkeley
|State=California
|Country=USA
|Submitted papers=185
|Accepted papers=58
|has Proceedings Link=https://www.springer.com/gp/book/9783642314230
}}