Theory and Practice of Formal Methods More Books by Erika Ábrahám, Marcello Bonsangue & Einar Broch Johnsen

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
At The Pinnacle At The Pinnacle
At The Pinnacle
2018
Integrated Formal Methods Integrated Formal Methods
Integrated Formal Methods
2016