M
Martin Steffen
6 works on record
Works

Formal Methods for Open Object-Based Distributed Systems

Fundamentals of Computation Theory
Higher-order subtyping
Higher-order subtyping
1994
Die Schlacht bei Minden
Die Schlacht bei Minden
Software Engineering and Formal Methods : SEFM 2019 Collocated Workshops
Software Engineering and Formal Methods : SEFM 2019 Collocated Workshops
Untersuchungen zu retrovirus-abhängigen genomischen Veränderungen bei transformierten Zellen
Untersuchungen zu retrovirus-abhängigen genomischen Veränderungen bei transformierten Zellen