Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems
2023
Software Engineering and Formal Methods Software Engineering and Formal Methods
2017