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

2 months ago 3

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