An Application of Automated Theorem Provers to Computer System Security by Mitch

An Application of Automated Theorem Provers to Computer System Security by Hi...

Generating Test Templates via Automated Theorem Proving by National Aeronautics

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

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