Martin Steffen · 6 obras en el catálogoObrasHHigher-order subtypingHigher-order subtyping1994Formal Methods for Open Object-Based Distributed SystemsDDie Schlacht bei MindenDie Schlacht bei MindenFundamentals of Computation TheorySSoftware Engineering and Formal Methods : SEFM 2019 CollocatSoftware Engineering and Formal Methods : SEFM 2019 Collocated WorkshopsUUntersuchungen zu retrovirus-abhängigen genomischen VeränderUntersuchungen zu retrovirus-abhängigen genomischen Veränderungen bei transformierten Zellen
SSoftware Engineering and Formal Methods : SEFM 2019 CollocatSoftware Engineering and Formal Methods : SEFM 2019 Collocated Workshops
UUntersuchungen zu retrovirus-abhängigen genomischen VeränderUntersuchungen zu retrovirus-abhängigen genomischen Veränderungen bei transformierten Zellen
