Verified Software: Theories, Tools, Experiments More Books Like This
Leveraging Applications of Formal Methods, Verification and Validation. Modeling
2018
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
2022
Grand Timely Topics in Software Engineering
2017
Transactions on Foundations for Mastering Change I
2016
Formal Methods. FM 2019 International Workshops
2020
Leveraging Applications of Formal Methods, Verification and Validation
2021
Software Engineering and Formal Methods
2017
The Future of Software Engineering
2010
From Software Engineering to Formal Methods and Tools, and Back
2019
Formal Methods for Industrial Critical Systems
2020
Perspectives of System Informatics
2018
Formal Methods for Industrial Critical Systems
2018
Tools and Methods of Program Analysis
2017
Dependable Software Engineering. Theories, Tools, and Applications
2018
Tests and Proofs
2018