ISSE

Search

Tactical Theorem Proving in Program Verification

M. Heisel, W. Reif, and W. Stephan

Tactical Theorem Proving in Program Verification

published 1990 M. Stickel, editor, 10th International Conference on Automated Deduction. Proceedings

Publisher: Springer LNCS 449