VMCAI 2019
From Openresearch
Jump to navigation
Jump to search
| VMCAI 2019
|
20th International Conference on Verification, Model Checking, and Abstract Interpretation
|
| Event in series
|
VMCAI
|
| Location
|
| Location:
|
Cascais, Portugal
|
|
|
|
| Papers:
|
Submitted 62 / Accepted 27 (43.5 %)
|
| Table of Contents
|
|
|
|
|