🌐 heise.de
Software Testing: Formale Methoden in der Softwarequalität
Richard Seidl spricht mit Michael Sperber und Markus Schlegel über formale Methoden der Softwareentwicklung.
↗ https://www.heise.de/blog/Software-Testing-Formale-Methoden-in-der-Softwarequalitaet-11204988.html