Wozu formale Methoden? mit Lars Hupel

- Software Architektur im Stream