View source for CAV 2014

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 2014.

Facts about "CAV 2014"
Acceptance rate29.3 +
Accepted papers67 +
AcronymCAV 2014 +
End dateJuly 22, 2014 +
Event in seriesCAV +
Event typeConference +
Has coordinates48° 12' 30", 16° 22' 21"Latitude: 48.208352777778
Longitude: 16.372505555556
+
Has location cityVienna +
Has location countryCategory:Austria +
Homepagehttp://i-cav.org/2014/ +
IsAEvent +
Ordinal26 +
Start dateJuly 18, 2014 +
Submitted papers229 +
TitleComputer Aided Verification +