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

Automated Theorem Proving in Software Engineering

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

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

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

Sandford - Using Sophisticated Models in Resolution Theorem Proving - - X555z

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