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

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

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

Automated Theorem Proving in Software Engineering by Johann M Schumann: New

Automated Theorem Proving in Software Engineering by Johann M... - 9783642087592

Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mat

Interactive Theorem Proving - 9783319431437