Formal Aspects of Component Software
2024
Theoretical Aspects of Software Engineering
2023
Machine Learning and Principles and Practice of Knowledge Discovery in Databases
2022
Machine Learning and Principles and Practice of Knowledge Discovery in Databases
2022
Formal Methods and Software Engineering
2018