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

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