Verified Software: Theories, Tools and Experiments More Books Like This
Verified Software: Theories, Tools, and Experiments
2016
Verified Software. Theories, Tools, and Experiments
2016
Integrated Formal Methods
2020
Deductive Software Verification: Future Perspectives
2020
Formal Methods and Software Engineering
2022
Verified Software. Theories, Tools and Experiments.
2023
Software Engineering and Formal Methods
2016
Verified Software. Theories, Tools, and Experiments
2017
Integrated Formal Methods
2017
Integrated Formal Methods
2019
Verified Software. Theories, Tools, and Experiments
2018
FM 2016: Formal Methods
2016
Logic-Based Program Synthesis and Transformation
2018
Programming Languages and Systems
2017
FM 2011: Formal Methods
2011