Verified Software. Theories, Tools, and Experiments More Books Like This
Verified Software. Theories, Tools, and Experiments
2016
Verified Software. Theories, Tools, and Experiments
2018
Integrated Formal Methods
2020
Verified Software. Theories, Tools and Experiments.
2023
Verified Software: Theories, Tools and Experiments
2014
Verified Software: Theories, Tools, and Experiments
2016
Tools and Algorithms for the Construction and Analysis of Systems
2018
Computer Aided Verification
2015
Programming Languages and Systems
2017
Formal Methods and Software Engineering
2022
FM 2016: Formal Methods
2016
Verification, Model Checking, and Abstract Interpretation
2015
Logic-Based Program Synthesis and Transformation
2018
Verification, Model Checking, and Abstract Interpretation
2017
Computer Aided Verification
2017