View source for CAV 2013

Jump to: navigation, search

You do not have permission to edit this page, for the following reason:

The action you have requested is limited to users in the group: Users.


You can view and copy the source of this page.

Return to CAV 2013.

Facts about "CAV 2013"
Acceptance rate34.0 +
Accepted papers71 +
AcronymCAV 2013 +
End dateJuly 19, 2013 +
Event in seriesCAV +
Event typeConference +
Has coordinates59° 56' 19", 30° 18' 58"Latitude: 59.938733333333
Longitude: 30.316227777778
+
Has location citySaint Petersburg +
Has location countryCategory:Russia +
Homepagehttp://cav2013.forsyte.at/ +
IsAEvent +
Ordinal25 +
Start dateJuly 13, 2013 +
Submitted papers209 +
TitleComputer Aided Verification +