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