The KIV System: A Tool for Formal Program Development.

Rainer Drexler, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Werner Stephan, Andreas Wolpers

Browse the full STACS paper archive.