Logics of Specification Languages More Books Like This

Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
2018
Logic, Rewriting, and Concurrency Logic, Rewriting, and Concurrency
Logic, Rewriting, and Concurrency
2015
Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
2016
Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
2015
Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
2017
Languages: From Formal to Natural Languages: From Formal to Natural
Languages: From Formal to Natural
2009
Automated Reasoning Automated Reasoning
Automated Reasoning
2016
Automated Reasoning Automated Reasoning
Automated Reasoning
2018
Refinement in Z and Object-Z Refinement in Z and Object-Z
Refinement in Z and Object-Z
2013
Foundations of Information and Knowledge Systems Foundations of Information and Knowledge Systems
Foundations of Information and Knowledge Systems
2020
From Lambda Calculus to Cybersecurity Through Program Analysis From Lambda Calculus to Cybersecurity Through Program Analysis
From Lambda Calculus to Cybersecurity Through Program Analysis
2020
Logic, Language, and Security Logic, Language, and Security
Logic, Language, and Security
2020
Rules and Reasoning Rules and Reasoning
Rules and Reasoning
2019
Towards Mechanized Mathematical Assistants Towards Mechanized Mathematical Assistants
Towards Mechanized Mathematical Assistants
2007
Foundations of Information and Knowledge Systems Foundations of Information and Knowledge Systems
Foundations of Information and Knowledge Systems
2016