View source for CAV 2007

{{Event
|Acronym=CAV 2007
|Title=Computer Aided Verification
|Ordinal=19
|Series=CAV
|Type=Conference
|Field=Computer-Aided Verification
|Start date=2007/07/03
|End date=2007/07/07
|Homepage=http://www.cav2007.org/
|City=Berlin
|Country=Germany
|Submitted papers=134
|Accepted papers=33
|has Proceedings Link=https://www.springer.com/gp/book/9783540733676
}}
Acceptance rate	24.6 +
Accepted papers	33 +
Acronym	CAV 2007 +
End date	July 7, 2007 +
Event in series	CAV +
Event type	Conference +
Has coordinates	52° 31' 1", 13° 23' 20"Latitude: 52.517036111111 Longitude: 13.388861111111 +
Has location city	Berlin +
Has location country	Category:Germany +
Homepage	http://www.cav2007.org/ +
IsA	Event +
Ordinal	19 +
Start date	July 3, 2007 +
Submitted papers	134 +
Title	Computer Aided Verification +