Automated Theorem Proving in Software Engineering

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

First-Order Logic and Automated Theorem Proving (Texts & Monographs in...

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

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

Schumann - Automated Theorem Proving in Software Engineering - New pap - X555z

Automated Theorem Proving Paperback Wolfgang, Bibel, W. Bibel