|
SAS 2020
Static Analysis Symposium, SAS 2020
|
|
WiL 2020
4th Women in Logic Workshop - WiL 2020
|
|
ICST 2021
IEEE International Conference on Software Testing, Verification and Validation 2021
|
|
MODELSWARD 2021
9th International Conference on Model-Driven Engineering and Software Development
|
|
MODELS 2020
Model Driven Engineering Languages and Systems
|
|
ISSTA 2021
International Symposium on Software Testing and Analysis
|
|
ATVA 2020
18ᵗʰ International Symposium on Automated Technology for Verification and Analysis
|
|
IMBSA 2020
7th International Symposium on Model-Based Safety and Assessment
|
|
TACAS 2021
27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
|
|
ICFEM 2020
The 22nd International Conference on Formal Engineering Methods (2020)
|
