Uma nova ferramenta pra checar a equivalência de programas através da análise de fluxo de controle.
― 6 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