Software Engineering and Formal Methods More Books Like This
Formal Aspects of Component Software
2014
From Software Engineering to Formal Methods and Tools, and Back
2019
Coordination Models and Languages
2017
Coordination Models and Languages
2020
Software Engineering and Formal Methods
2017
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
2016
Software Engineering and Formal Methods
2015
Coordination Models and Languages
2019
Web Services and Formal Methods
2014
Formal Methods and Software Engineering
2018
Software Engineering and Formal Methods
2015
Software Technologies: Applications and Foundations
2018
Formal Methods. FM 2019 International Workshops
2020
Dependable Software Engineering. Theories, Tools, and Applications
2018
Formal Methods for Eternal Networked Software Systems
2011