Logic, Rewriting, and Concurrency More Books Like This
Interactive Theorem Proving
2018
Automated Reasoning
2016
Logic, Language, and Security
2020
Logics of Specification Languages
2007
Interactive Theorem Proving
2017
Automated Reasoning
2018
Interactive Theorem Proving
2015
Interactive Theorem Proving
2016
From Lambda Calculus to Cybersecurity Through Program Analysis
2020
Foundations of Information and Knowledge Systems
2020
Rules and Reasoning
2019
Languages: From Formal to Natural
2009
Provably Correct Systems
2017
Refinement in Z and Object-Z
2013
Foundations of Information and Knowledge Systems
2016