Tests and Proofs More Books Like This
Software Engineering and Formal Methods
2017
Software Engineering and Formal Methods
2015
Testing Software and Systems
2019
Structured Object-Oriented Formal Language and Method
2020
Dependable Software Engineering. Theories, Tools, and Applications
2018
Tools and Methods of Program Analysis
2017
Testing Software and Systems
2022
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
2016
Runtime Verification
2018
Fundamentals of Software Engineering
2019
Structured Object-Oriented Formal Language and Method
2019
Formal Methods and Software Engineering
2018
Testing Software and Systems
2020
Formal Methods. FM 2019 International Workshops
2020
Runtime Verification
2017