The KIV System: Systematic Construction of Verified Software

• Authors:

• Wolfgang Reif

• Affiliations:

• -

• Venue:
• CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
• Year:
• 1992