The Logic of Software. A Tasting Menu of Formal Methods More Books Like This

Formal Methods – The Next 30 Years Formal Methods – The Next 30 Years
Formal Methods – The Next 30 Years
2019
Verified Software. Theories, Tools, and Experiments Verified Software. Theories, Tools, and Experiments
Verified Software. Theories, Tools, and Experiments
2018
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
2020
Formal Methods: Foundations and Applications Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
2018
Integrated Formal Methods Integrated Formal Methods
Integrated Formal Methods
2020
Perspectives of Systems Informatics Perspectives of Systems Informatics
Perspectives of Systems Informatics
2010
Concurrency, Compositionality, and Correctness Concurrency, Compositionality, and Correctness
Concurrency, Compositionality, and Correctness
2010
Formal Verification of Object-Oriented Software Formal Verification of Object-Oriented Software
Formal Verification of Object-Oriented Software
2011
FM 2011: Formal Methods FM 2011: Formal Methods
FM 2011: Formal Methods
2011
Models, Mindsets, Meta: The What, the How, and the Why Not? Models, Mindsets, Meta: The What, the How, and the Why Not?
Models, Mindsets, Meta: The What, the How, and the Why Not?
2019
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
2021
Rewriting Logic and Its Applications Rewriting Logic and Its Applications
Rewriting Logic and Its Applications
2022
Reflections on the Work of C.A.R. Hoare Reflections on the Work of C.A.R. Hoare
Reflections on the Work of C.A.R. Hoare
2010
Practical Aspects of Declarative Languages Practical Aspects of Declarative Languages
Practical Aspects of Declarative Languages
2023
Integrated Formal Methods Integrated Formal Methods
Integrated Formal Methods
2019