Tobias Kappé

Un nouvel outil pour vérifier l'équivalence des programmes grâce à l'analyse du flux de contrôle.

Un aperçu de l'algèbre de Kleene avec des tests et ses défis dans les tâches déterministes.