Title :
PM: A Proof Manager For HOL And Other Provers
Author :
Fink, George ; Archer, Myla ; Yang, Lie
Author_Institution :
University of California at Davis
Keywords :
Arithmetic; Computer science; Formal verification; Forward contracts; Hardware; Humans; Logic; Power system management; Software design; Tree data structures;
Conference_Titel :
HOL Theorem Proving System and Its Applications, 1991., International Workshop on the
Conference_Location :
Davis, CA, USA
Print_ISBN :
0-8186-2460-4
DOI :
10.1109/HOL.1991.596295
