25.04.2026 09:09 Uhr, Quelle: Heise

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.

Weiterlesen bei Heise