| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 1995 | |
|---|---|---|
| 7 |      | Hans-Martin Hörcher: Improving Software Tests Using Z Specifications. ZUM 1995: 152-166 |
| 6 | | Hans-Martin Hörcher, Jan Peleska: Using formal specifications to support software testing. Software Quality Journal 4(4): 309-327 (1995) |
| 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 | Jan Peleska | [6] |
| 2 | Uwe Schmidt | [1] [2] [4] |
Colors in the list of coauthors
Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page