View source for CAV 2013

{{Event
|Acronym=CAV 2013
|Title=Computer Aided Verification
|Ordinal=25
|Series=CAV
|Type=Conference
|Field=Computer-Aided Verification
|Start date=2013/07/13
|End date=2013/07/19
|Homepage=http://cav2013.forsyte.at/
|City=Saint Petersburg
|Country=Russia
|Submitted papers=209
|Accepted papers=71
|has Proceedings Link=https://www.springer.com/gp/book/9783642397981
}}
Acceptance rate	34.0 +
Accepted papers	71 +
Acronym	CAV 2013 +
End date	July 19, 2013 +
Event in series	CAV +
Event type	Conference +
Has coordinates	59° 56' 19", 30° 18' 58"Latitude: 59.938733333333 Longitude: 30.316227777778 +
Has location city	Saint Petersburg +
Has location country	Category:Russia +
Homepage	http://cav2013.forsyte.at/ +
IsA	Event +
Ordinal	25 +
Start date	July 13, 2013 +
Submitted papers	209 +
Title	Computer Aided Verification +