VMCAI
Revision as of 21:24, 1 April 2022 by Tim Holzheim (talk | contribs) (Added page provenance(#264) and contribution type(#271))
VMCAI
VMCAI | |
---|---|
Verification, Model Checking and Abstract Interpretation
| |
CORE Rank (2018): | B |
Avg. acceptance rate: | 48 |
Avg. acceptance rate (last 5 years): | 48 |
Table of Contents | |
Verification, Model Checking and Abstract Interpretation (VMCAI) has an average acceptance rate of 48% (last 5 years 48%).
Events
There are 4 events of the series VMCAI known to this wiki: VMCAI 2017, VMCAI 2018, VMCAI 2019, VMCAI 2020
Submission/Acceptance
Locations