KIT | KIT-Bibliothek | Impressum | Datenschutz

Getting class correctness and system correctness equivalent "how to get covariance right"

Weber, Franz


Zugehörige Institution(en) am KIT Universität Karlsruhe (TH) – Einrichtungen in Verbindung mit der Universität (Einrichtungen in Verbindung mit der Universität)
Forschungszentrum Informatik, Karlsruhe (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.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page