Practical Proof Checking for Program Certification (2005)

by G Sutcliffe, E Denney, B Fischer
Venue:Proceedings of the Workshop on Empirically Successful Classical Automated Reasoning, 20th International Conference on Automated Deduction