Formal Methods for Eternal Networked Software Systems More Books Like This
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
2016
Formal Methods and Software Engineering
2018
Software Engineering and Formal Methods
2017
Fundamentals of Software Engineering
2019
Formal Aspects of Component Software
2014
Software Technologies: Applications and Foundations
2018
Formal Methods for Components and Objects
2009
Dependable Software Engineering. Theories, Tools, and Applications
2018
Software Engineering and Formal Methods
2014
From Software Engineering to Formal Methods and Tools, and Back
2019
Software Engineering and Formal Methods
2015
Distributed Computing and Internet Technology
2011
Coordination Models and Languages
2020
Formal Methods for Industrial Critical Systems
2018
Coordination Models and Languages
2017