Martin Steffen

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