View source for CAV 1990

{{Event
|Acronym=CAV 1990
|Title=Computer Aided Verification
|Ordinal=2
|Series=CAV
|Type=Conference
|Field=Computer-Aided Verification
|Start date=1990/06/18
|End date=1990/06/21
|City=New Brunswick
|State=New Jersey
|Country=USA
|has Proceedings Link=https://www.springer.com/gp/book/9783540544777
}}
Acronym	CAV 1990 +
End date	June 21, 1990 +
Event in series	CAV +
Event type	Conference +
Has coordinates	40° 29' 10", -74° 27' 7"Latitude: 40.486216666667 Longitude: -74.451816666667 +
Has location city	New Brunswick +
Has location country	Category:USA +
Has location state	New Jersey +
IsA	Event +
Ordinal	2 +
Start date	June 18, 1990 +
Title	Computer Aided Verification +