Rainer Drexler

According to our database, Rainer Drexler authored at least 1 paper in 1993.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1993

The KIV System: A Tool for Formal Program Development.

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

Proceedings of the STACS 93, 1993