ISSE

Search

The KIV-System: Systematic Construction of Verified Software

W. Reif

The KIV-System: Systematic Construction of Verified Software

published 1992 D. Kapur, editor, 11th Conference on Automated Deduction. Proceedings

Publisher: Springer LNAI 607