Difference between revisions of "CAV 2000"

From OPENRESEARCH fixed Wiki
Jump to navigation Jump to search
(modified through wikirestore by orapi)
(modified through wikirestore by orapi)
 
Line 14: Line 14:
 
|Title=Computer Aided Verification
 
|Title=Computer Aided Verification
 
|Accepted papers=35
 
|Accepted papers=35
|Submitted papers=91}}
+
|Submitted papers=91
 +
}}

Latest revision as of 04:05, 6 December 2021


Event Rating

median worst
Pain1.svg Pain5.svg

List of all ratings can be found at CAV 2000/rating

CAV 2000
Computer Aided Verification
Ordinal 12
Event in series CAV
Dates 2000-07-15 (iCal) - 2000-07-19
Location
Location: US/IL/Chicago, US/IL, US
Loading map...

Papers: Submitted 91 / Accepted 35 (38.5 %)
Table of Contents