software-architektur.tv: Wozu formale Methoden? mit Lars Hupel - heise online

software-architektur.tv: Wozu formale Methoden? mit Lars Hupel  heise online