Verified Software: Theories, Tools, and Experiments More Books Like This
Verified Software: Theories, Tools and Experiments
2014
Verified Software. Theories, Tools and Experiments.
2023
Software Engineering and Formal Methods
2016
Integrated Formal Methods
2017
Verified Software. Theories, Tools, and Experiments
2016
Verified Software. Theories, Tools, and Experiments
2017
Formal Methods and Software Engineering
2022
Verified Software: Theories, Tools, Experiments
2008
Integrated Formal Methods
2020
Model Checking Software
2018
Deductive Software Verification: Future Perspectives
2020
Software Engineering and Formal Methods
2019
Integrated Formal Methods
2016
FM 2016: Formal Methods
2016
Software Engineering and Formal Methods
2020