The KIV System: Systematic Construction of Verified Software.

Wolfgang Reif

Browse the full CADE paper archive.