Verified Software. Theories, Tools and Experiments. More Books Like This
Integrated Formal Methods
2020
Formal Methods and Software Engineering
2022
Integrated Formal Methods
2017
Verified Software: Theories, Tools, and Experiments
2016
Formal Methods: Foundations and Applications
2017
Integrated Formal Methods
2019
Model Checking Software
2018
Verified Software. Theories, Tools, and Experiments
2016
Verified Software: Theories, Tools and Experiments
2014
Software Engineering and Formal Methods
2019
FM 2016: Formal Methods
2016
Verified Software. Theories, Tools, and Experiments
2017
Software Engineering and Formal Methods
2020
Software Engineering and Formal Methods
2016
Integrated Formal Methods
2016