Software Testing: Formale Methoden in der Softwarequalität

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