Practical Proof Checking for Program Certification (2005)

by Geoff Sutcliffe , Ewen Denney , Bernd Fischer
Venue:Proceedings of the CADE-20 Workshop on Empirically Successful Classical Automated Reasoning (ESCAR’05
Citations:5 - 4 self