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

Automated Theorem Proving in Software Engineering

Generating Test Templates via Automated Theorem Proving by National Aeronautics

Proving History: Bayes's Theorem and the Quest for the Historical Jesus, Richard

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

A Hierarchical Technique for Mechanical Theorem Proving and its Application to P

Symbolic Logic and Mechanical Theorem Proving (Computer Science Classics) by Ch