ISSE

Search

An Interactive Verification System Based on Dynamic Logic

R. Hähnle, M. Heisel, W. Reif, and W. Stephan

An Interactive Verification System Based on Dynamic Logic

published 1986 J. Siekmann, editor, 8th International Conference on Automated Deduction. Proceedings

Publisher: Springer LNCS 230