Tobias Kappé

Ein neues Tool zur Überprüfung der Programmgleichheit durch Kontrollflussanalyse.

Ein Blick auf Kleene-Algebra mit Tests und ihre Herausforderungen bei deterministischen Aufgaben.