Esprit-Projekt DIAMOND
| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
| Publikationstyp | Buchaufsatz |
| Publikationsjahr | 1989 |
| Sprache | Deutsch |
| Identifikator | KITopen-ID: 102089 |
| Erscheinungsvermerk | In: Wissenschaftliches Rechnen mit Ergebnisverifikation. Ed.: U. Kulisch. Berlin 1989. S. 251-259. |