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

Loveland - Automated Theorem Proving in Software Engineering - New har - X555z

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

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

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

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

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

Theorem Proving with the Real Numbers (Distinguished Dissertations) by