Barcelos KA, Isatto EL. Uso da Inteligência Artifical na elaboração e interpretação de requisitos em linguagem natural para lógica formal. SBTIC [Internet]. 5º de setembro de 2025 [citado 3º de maio de 2026];5(00). Disponível em: https://eventos.antac.org.br/index.php/sbtic/article/view/7494