10.03.2026 09:27 Uhr, Quelle: Heise

Software Testing: Formale Methoden in der Softwarequalität

Richard Seidl spricht mit Michael Sperber und Markus Schlegel über formale Methoden der Softwareentwicklung.

Weiterlesen bei Heise