Dependable Software Engineering. Theories, Tools, and Applications Dependable Software Engineering. Theories, Tools, and Applications
2021
Formal Methods and Software Engineering Formal Methods and Software Engineering
2019