Martin Steffen profile picture

Martin Steffen

Is this your author profile? Create an account to customize it!

Stand Alone

Formal Methods for Open Object-Based Distributed Systems
Fundamentals of Computation Theory: 18th International Symposium, FCT 2011, Oslo, Norway, August 22-28, 2011, Proceedings
Software Engineering and Formal Methods
Software Engineering and Formal Methods SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers
Martin Steffen — Books & Biography | Menrva Books | MenrvaBooks