Tobias Kappé

Uma nova ferramenta pra checar a equivalência de programas através da análise de fluxo de controle.

Uma olhada na Álgebra de Kleene com Testes e seus desafios em tarefas determinísticas.