ISSE

Search

Proving System Correctness with KIV 3.0

W. Reif, G. Schellhorn, and K. Stenzel

Proving System Correctness with KIV 3.0

in: Townsville, Australia 14th International Conference on Automated Deduction. Proceedings

Publisher: Springer LNCS 1249