Software Testing: Formale Methoden in der Softwarequalität

7 months ago 4

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