|
SAS 2020
Static Analysis Symposium, SAS 2020
|
|
WiL 2020
WiL 2020: 4th Women in Logic Workshop
|
|
ICST 2020
13th IEEE Conference on Software Testing, Validation and Verification
|
|
CAV 2020
Computer Aided Verification
|
|
MODELS 2020
Model Driven Engineering Languages and Systems
|
|
MODELSWARD 2020
8th International Conference on Model-Driven Engineering and Software Development
|
|
ATVA 2020
18ᵗʰ International Symposium on Automated Technology for Verification and Analysis
|
|
A-MOST 2020
Advances in Model-Based Software Testing
|
|
IMBSA 2020
7th International Symposium on Model-Based Safety and Assessment
|
|
LiVe 2020
4th Workshop on Learning in Verification
|
