Deductive Software Verification: Future Perspectives More Books Like This
Verified Software: Theories, Tools and Experiments
2014
Verified Software. Theories, Tools, and Experiments
2016
Verified Software. Theories, Tools, and Experiments
2020
The Logic of Software. A Tasting Menu of Formal Methods
2022
FM 2008: Formal Methods
2008
Verified Software: Theories, Tools, and Experiments
2016
Integrated Formal Methods
2017
Formal Verification of Object-Oriented Software
2011
Verified Software. Theories, Tools and Experiments.
2023
Software Engineering and Formal Methods
2016
Verified Software. Theories, Tools, and Experiments
2017
Integrated Formal Methods
2020
Verified Software. Theories, Tools, and Experiments
2018
Software Engineering and Formal Methods
2019
Integrated Formal Methods
2016