The KIV system: Systematic construction of verified software (1992)

by Wolfgang Reif
Venue:Automated Deduction — CADE-11, 11th International Conference on Automated Deduction, volume 607 of LNCS