Humboldt-Universität zu Berlin | Faculty of Mathematics and Natural Sciences | Department of Computer Science | Research | Chairs | Theory of Programming | Teaching Teaching Summer Term 2020 Summer Term 2020: Project "Composition"
