DESENVOLVIMENTO DE UMA SOLUÇÃO PARA VALIDAÇÃO DE AUTÔMATOS UTILIZANDO PROGRAMAÇÃO FUNCIONAL. Encontros Universitários da UFC, [S. l.], v. 3, n. 2, p. 93, 2015. Disponível em: https://periodicos.ufc.br/eu/article/view/40457. Acesso em: 21 ago. 2026.