Richard Seidl spricht mit Michael Sperber und Markus Schlegel über formale Methoden der Softwareentwicklung. Quelle: https://www.heise.de/blog/Software-Testing-Formale-Methoden-in-der-Softwarequalitaet-11204988.html?wt_mc=rss.red.ho.ho.rdf.beitrag.beitrag