CAV 1990

From Openresearch
Jump to: navigation, search
CAV 1990
Computer Aided Verification
Ordinal 2
Event in series CAV
Dates 1990/06/18 (iCal) - 1990/06/21
Location
Location: New Brunswick, New Jersey, USA
Loading map...

Table of Contents


关于“CAV 1990”的事实
AcronymCAV 1990 +
End date1990年6月21日 (四) +
Event in seriesCAV +
Event typeConference +
Has coordinates40° 29' 10", -74° 27' 7"Latitude: 40.486216666667
Longitude: -74.451816666667
+
Has location cityNew Brunswick +
Has location countryCategory:USA +
Has location stateNew Jersey +
IsAEvent +
Ordinal2 +
Start date1990年6月18日 (一) +
TitleComputer Aided Verification +