![]() | ![]() |
1993 | ||
---|---|---|
1 | Rainer Drexler, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Werner Stephan, Andreas Wolpers: The KIV System: A Tool for Formal Program Development. STACS 1993: 704-705 |
1 | Wolfgang Reif | [1] |
2 | Gerhard Schellhorn | [1] |
3 | Kurt Stenzel | [1] |
4 | Werner Stephan | [1] |
5 | Andreas Wolpers | [1] |