First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings
Description
Constitutes the proceedings of the First International Conference on Interactive Theorem proving, ITP 2010, held in Edinburgh, UK, in July 2010. This title features the papers that are organized in topics such as counterexample generation, hybrid system verification, translations from one formalism to another, and cooperation between tools.
I have a question about the book:
‘Interactive Theorem Proving - Matt Kaufmann, Lawrence C. Paulson’.
Fill in the form below.
We will respond as fast as possible.
