CAV 2000
From Openresearch
Jump to navigation
Jump to search
| CAV 2000
|
Computer Aided Verification
|
| Ordinal
|
12
|
| Event in series
|
CAV
|
| Dates
|
2000/07/15 (iCal) - 2000/07/19
|
| Location
|
| Location:
|
Chicago, Illinois, USA
|
|
|
|
| Papers:
|
Submitted 91 / Accepted 35 (38.5 %)
|
| Table of Contents
|
|
|
|
|