KIT | KIT-Bibliothek | Impressum | Datenschutz

Refinement algebra for object oriented programming

Sekerinski, Emil


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 1993
Sprache Englisch
Identifikator KITopen-ID: 187593
Erscheinungsvermerk In: Workshop on the Formal Basis of Object Oriented Systems, Imp. College, London 1993.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page