Rainer Drexler

Publication Activity (10 Years)

Years Active: 1993-1993
Publications (10 Years): 0

Publications

Rainer Drexler, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Werner Stephan, Andreas Wolpers
The KIV System: A Tool for Formal Program Development. STACS (1993)