Formal Verification of Object-Oriented Software More Books Like This
FM 2008: Formal Methods
2008
Formal Methods: Foundations and Applications
2011
Programming Languages and Systems
2015
The Logic of Software. A Tasting Menu of Formal Methods
2022
Verified Software. Theories, Tools, and Experiments
2018
FM 2011: Formal Methods
2011
Engineering Trustworthy Software Systems
2018
Programming Languages and Systems
2008
Programming Languages and Systems
2017
Logic-Based Program Synthesis and Transformation
2018
Perspectives of Systems Informatics
2010
Programming Languages and Systems
2020
Deductive Software Verification: Future Perspectives
2020
Verified Software: Theories, Tools and Experiments
2014
Formal Methods: Foundations and Applications
2018