Ein neues Tool zur Überprüfung der Programmgleichheit durch Kontrollflussanalyse.
Cheng Zhang, Tobias Kappé, David E. Narváez
― 6 min Lesedauer
Tobias Kappé
Ein Blick auf Kleene-Algebra mit Tests und ihre Herausforderungen bei deterministischen Aufgaben.
Balder ten Cate, Tobias Kappé
― 6 min Lesedauer