Martin Steffen

Books
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
2020
Fundamentals of Computation Theory Fundamentals of Computation Theory
Fundamentals of Computation Theory
2011
Concurrency, Compositionality, and Correctness Concurrency, Compositionality, and Correctness
Concurrency, Compositionality, and Correctness
2010