Erika Ábrahám

Books
Theoretical Aspects of Computing – ICTAC 2023 Theoretical Aspects of Computing – ICTAC 2023
Theoretical Aspects of Computing – ICTAC 2023
2023
Fundamentals of Software Engineering Fundamentals of Software Engineering
Fundamentals of Software Engineering
2023
Quantitative Evaluation of Systems Quantitative Evaluation of Systems
Quantitative Evaluation of Systems
2022
Integrated Formal Methods Integrated Formal Methods
Integrated Formal Methods
2016
Theory and Practice of Formal Methods Theory and Practice of Formal Methods
Theory and Practice of Formal Methods
2016