Verified Software. Theories, Tools, and Experiments More Books Like This
Programming Languages and Systems
2020
Verified Software. Theories, Tools, and Experiments
2016
The Logic of Software. A Tasting Menu of Formal Methods
2022
Verified Software. Theories, Tools, and Experiments
2017
Programming Languages and Systems
2021
Programming Languages and Systems
2017
Static Analysis
2022
Verified Software: Theories, Tools and Experiments
2014
Programming Languages and Systems
2011
Formal Methods: Foundations and Applications
2018
Logic-Based Program Synthesis and Transformation
2018
Programming Languages and Systems
2009
Perspectives of Systems Informatics
2010
Formal Methods – The Next 30 Years
2019
Formal Verification of Object-Oriented Software
2011