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

6 months ago 7

In der Episode diskutieren Eberhard Wolff und Lars Hupel über den gewinnbringenden Einsatz formaler Methoden im Software-Architektur-Alltag.