Uma nova ferramenta pra checar a equivalência de programas através da análise de fluxo de controle.
― 6 min ler
Tobias Kappé
Uma olhada na Álgebra de Kleene com Testes e seus desafios em tarefas determinísticas.
― 7 min ler
Ciência de ponta explicada de forma simples
Uma nova ferramenta pra checar a equivalência de programas através da análise de fluxo de controle.
― 6 min ler
Uma olhada na Álgebra de Kleene com Testes e seus desafios em tarefas determinísticas.
― 7 min ler