| |
| 1995 | ||
|---|---|---|
| 6 | Hans-Martin Hörcher: Improving Software Tests Using Z Specifications. ZUM 1995: 152-166 | |
| 1994 | ||
| 5 | Hans-Martin Hörcher: The DST Z-Tools. FTRTFT 1994: 778-778 | |
| 4 | Hans-Martin Hörcher, Uwe Schmidt: The VDM Domain Compiler. FTRTFT 1994: 779-779 | |
| 1993 | ||
| 3 | Hans-Martin Hörcher: Formale Spezifikationen zur Auswertung von Testergebnissen. GI Jahrestagung 1993: 260-265 | |
| 1991 | ||
| 2 | Uwe Schmidt, Hans-Martin Hörcher: The VDM Domain Compiler: A VDM Class Library Generator. VDM Europe (1) 1991: 675-676 | |
| 1990 | ||
| 1 | Uwe Schmidt, Hans-Martin Hörcher: Programming with VDM Domains. VDM Europe 1990: 122-134 | |
| 1 | Uwe Schmidt | [1] [2] [4] |