Getting class correctness and system correctness equivalent "how to get covariance right"
| Zugehörige Institution(en) am KIT | Universität Karlsruhe (TH) – Einrichtungen in Verbindung mit der Universität (Einrichtungen in Verbindung mit der Universität) FZI Forschungszentrum Informatik (FZI) |
| Publikationstyp | Buchaufsatz |
| Publikationsjahr | 1992 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 290792 |
| Erscheinungsvermerk | In: Technology of object-oriented languages and systems. TOOLS 8, Santa Barbara, Calif. 1992. New York 1992. S. 199-213. |