Page values for "CAV 2015"

Jump to: navigation, search
Retrieved from "https://www.openresearch.org/wiki/CAV_2015"
关于“CAV 2015”的事实
RDF源
Acceptance rate27.0 +
Accepted papers68 +
AcronymCAV 2015 +
End date2015年7月24日 (五) +
Event in seriesCAV +
Event typeConference +
Has coordinates37° 46' 45", -122° 25' 10"Latitude: 37.779258333333
Longitude: -122.41932777778 +
Has location citySan Francisco +
Has location countryCategory:USA +
Has location stateCalifornia +
Homepagehttp://i-cav.org/2015/ +
IsAEvent +
Ordinal27 +
Start date2015年7月18日 (六) +
Submitted papers252 +
TitleComputer Aided Verification +