CAV 2007

From Openresearch
Jump to: navigation, search
CAV 2007
Computer Aided Verification
Ordinal 19
Event in series CAV
Dates 2007/07/03 (iCal) - 2007/07/07
Homepage: http://www.cav2007.org/
Location
Location: Berlin, Germany
Loading map...

Papers: Submitted 134 / Accepted 33 (24.6 %)
Table of Contents


The following coordinate was not recognized: Geocoding failed.
The following coordinate was not recognized: Geocoding failed.


关于“CAV 2007”的事实
AcronymCAV 2007 +
Event in seriesCAV +
Event typeConference +
Has coordinates52° 31' 3", 13° 23' 42"Latitude: 52.517388888889
Longitude: 13.395130555556
+
Has location cityBerlin +
Has location countryCategory:Germany +
Homepagehttp://www.cav2007.org/ +
IsAEvent +
Start date2007年 +