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

Automated Theorem Proving in Software Engineering - 9783642087592

Automated Technology for Verification and Analysis: 19th by Zhe Hou PAPERBACK

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

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

Generating Test Templates via Automated Theorem Proving by National Aeronautics

Generating Test Templates via Automated Theorem Proving by National Aeronauti...