Formal System Development with KIV.

Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Andreas Thums

Browse the full FASE paper archive.