Interactive Theorem Proving in Software Engineering (Paperback or Softback)

Interactive Theorem Proving in Software Engineering, Paperback by Kammuller, ...

Interactive Theorem Proving in Software Engineering by Kammüller, Florian

Interactive Theorem Proving in Software Engineering by Florian Kamm?ller (Englis

Automated Theorem Proving in Software Engineering by Schumann, Johann M.

Automated Theorem Proving in Software Engineering, Hardcover by Schumann, Joh...

Interactive Theorem Proving and Program - Hardcover, by Bertot Yves - Acceptable

Interactive Theorem Proving: - Paperback, by Beringer Lennart Felty - Very Good