B.: Practical proof checking for program certification (2005)

by G Sutcliffe, E Denney, Fischer
Venue:In: Proceedings of the CADE-20 Workshop on Empirically Successful Classical Automated Reasoning (ESCAR ’05