Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
Publikationstyp | Zeitschriftenaufsatz |
Publikationsjahr | 1992 |
Sprache | Englisch |
Identifikator | KITopen-ID: 207592 |
Erscheinungsvermerk | ACM SIGPLAN notices 27 (1992) H. 4 S. 17-26. |