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
2010
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