Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice More Books Like This
Leveraging Applications of Formal Methods, Verification and Validation: Applications
2020
Formal Methods. FM 2019 International Workshops
2020
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
2022
From Software Engineering to Formal Methods and Tools, and Back
2019
Leveraging Applications of Formal Methods, Verification and Validation
2021
Software Engineering and Formal Methods
2017
Formal Methods and Software Engineering
2018
Formal Methods for Industrial Critical Systems
2018
Formal Methods for Industrial Critical Systems
2020
Dependable Software Engineering. Theories, Tools, and Applications
2018
Transactions on Foundations for Mastering Change I
2016
Software Technologies: Applications and Foundations
2018
Software Engineering and Formal Methods
2014
Verified Software: Theories, Tools, Experiments
2008
Structured Object-Oriented Formal Language and Method
2019