KIT | KIT-Bibliothek | Impressum

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

Weber, Franz



Zugehörige Institution(en) am KIT Forschungszentrum Informatik, Karlsruhe (FZI)
Publikationstyp Buchaufsatz
Jahr 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