Hans-Martin Hrcher
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
1990–1993
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1993 | GI | Formale Spezifikationen zur Auswertung von Testergebnissen. | Hans-Martin Hrcher |
| 1991 | FM | The VDM Domain Compiler: A VDM Class Library Generator. | Uwe Schmidt, Hans-Martin Hrcher |
| 1990 | FM | Programming with VDM Domains. | Uwe Schmidt, Hans-Martin Hrcher |