Formal Methods: State of the Art and New Directions More Books Like This
Formal Methods. FM 2019 International Workshops
2020
From Software Engineering to Formal Methods and Tools, and Back
2019
Software Engineering and Formal Methods
2020
Software Engineering and Formal Methods
2017
Software Engineering and Formal Methods
2014
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
2016
Formal Methods and Software Engineering
2018
Rule Technologies. Research, Tools, and Applications
2016
Coordination Models and Languages
2020
Formal Methods. FM 2019 International Workshops
2020
Engineering Trustworthy Software Systems
2016
Coordination Models and Languages
2019
Interactive Computation
2006
Web Reasoning and Rule Systems
2015
Perspectives of System Informatics
2019