Verified Software: Theories, Tools, Experiments More Books Like This
FM 2008: Formal Methods
2008
Verified Software: Theories, Tools, and Experiments
2016
Verified Software: Theories, Tools and Experiments
2014
Verified Software. Theories, Tools, and Experiments
2016
Verified Software. Theories, Tools, and Experiments
2018
FM 2011: Formal Methods
2011
Formal Methods: Foundations and Applications
2009
Formal Verification of Object-Oriented Software
2011
Verified Software. Theories, Tools, and Experiments
2017
Deductive Software Verification: Future Perspectives
2020
Formal Methods: Foundations and Applications
2018
Engineering Trustworthy Software Systems
2018
Perspectives of Systems Informatics
2010
Verified Software. Theories, Tools and Experiments.
2023
Programming Languages and Systems
2017