Hans-Martin Hörcher
Publication Activity (10 Years)
Years Active: 1990-1995
Publications (10 Years): 0
Publications (10 Years): 0
Publications
- Hans-Martin Hörcher
- Hans-Martin Hörcher, Jan Peleska
- Hans-Martin HörcherThe DST Z-Tools. FTRTFT (1994)
- Hans-Martin Hörcher, Uwe SchmidtThe VDM Domain Compiler. FTRTFT (1994)
- Hans-Martin Hörcher
- Uwe Schmidt, Hans-Martin Hörcher
- Uwe Schmidt, Hans-Martin Hörcher