Semantics
- Hybrid Systems
Dr. Peter Höfner - Refinement Algebra
Prof. Dr. Bernhard Möller - Pointer Structures
Prof. Dr. Bernhard Möller - InopSys - Interoperability of Calculi for System Modelling
Prof. Dr. Bernhard Möller - Streams and Parallelism(inactive)
Prof. Dr. Bernhard Möller - Algebraic Calculi for Separation Logic
Prof. Dr. Bernhard Möller

