Automated Theorem Proving in Software Engineering

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

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

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

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

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