|
Search the dblp DataBase
Hans-Martin Hörcher:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Uwe Schmidt, Hans-Martin Hörcher
Programming with VDM Domains. [Citation Graph (0, 0)][DBLP] VDM Europe, 1990, pp:122-134 [Conf]
- Uwe Schmidt, Hans-Martin Hörcher
The VDM Domain Compiler: A VDM Class Library Generator. [Citation Graph (0, 0)][DBLP] VDM Europe (1), 1991, pp:675-676 [Conf]
- Hans-Martin Hörcher
The DST Z-Tools. [Citation Graph (0, 0)][DBLP] FTRTFT, 1994, pp:778-778 [Conf]
- Hans-Martin Hörcher, Uwe Schmidt
The VDM Domain Compiler. [Citation Graph (0, 0)][DBLP] FTRTFT, 1994, pp:779-779 [Conf]
- Hans-Martin Hörcher
Formale Spezifikationen zur Auswertung von Testergebnissen. [Citation Graph (0, 0)][DBLP] GI Jahrestagung, 1993, pp:260-265 [Conf]
- Hans-Martin Hörcher
Improving Software Tests Using Z Specifications. [Citation Graph (0, 0)][DBLP] ZUM, 1995, pp:152-166 [Conf]
Search in 0.002secs, Finished in 0.003secs
|