In der Episode diskutieren Eberhard Wolff und Lars Hupel über den gewinnbringenden Einsatz formaler Methoden im Software-Architektur-Alltag. Quelle: https://www.heise.de/news/software-architektur-tv-Wozu-formale-Methoden-mit-Lars-Hupel-11271569.html?wt_mc=rss.red.ho.ho.rdf.beitrag.beitrag