From Software Engineering to Formal Methods and Tools, and Back More Books Like This
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
2016
Software Technologies: Applications and Foundations
2018
Formal Methods. FM 2019 International Workshops
2020
Software Engineering and Formal Methods
2017
Software Engineering and Formal Methods
2015
Software Engineering and Formal Methods
2014
Formal Methods for Industrial Critical Systems
2018
Formal Methods. FM 2019 International Workshops
2020
Software Engineering and Formal Methods
2016
Dependable Software Engineering. Theories, Tools, and Applications
2018
Transactions on Foundations for Mastering Change I
2016
New Trends in Model and Data Engineering
2018
Formal Methods and Software Engineering
2018
Software Engineering and Formal Methods
2020
Formal Aspects of Component Software
2014