Automated Theorem Proving in Software Engineering

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.

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

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