Difference between revisions of "CAV 1990"

From Openresearch
Jump to navigation Jump to search
(CSV import)
 
Line 1: Line 1:
 
{{Event
 
{{Event
|Start date=1990
 
 
|Acronym=CAV 1990
 
|Acronym=CAV 1990
 +
|Title=International Workshop CAV
 
|Series=CAV
 
|Series=CAV
 +
|Type=Conference
 +
|Field=Computer-Aided Verification
 +
|Start date=1990/06/18
 +
|End date=1990/06/21
 
|City=New Brunswick
 
|City=New Brunswick
|State=New Jersy
+
|State=New Jersey
 
|Country=USA
 
|Country=USA
|Field=Computer-Aided Verification
+
|has Proceedings Link=https://www.springer.com/gp/book/9783540544777
|Type=Conference
 
 
}}
 
}}

Revision as of 14:34, 9 February 2021

CAV 1990
International Workshop CAV
Event in series CAV
Dates 1990/06/18 (iCal) - 1990/06/21
Location
Location: New Brunswick, New Jersey, USA
Loading map...

Table of Contents