Barcelos, K. A., & Isatto, E. L. (2025). Uso da Inteligência Artifical na elaboração e interpretação de requisitos em linguagem natural para lógica formal. SIMPÓSIO BRASILEIRO DE TECNOLOGIA DA INFORMAÇÃO E COMUNICAÇÃO NA CONSTRUÇÃO, 5(00). https://doi.org/10.46421/sbtic.v5i00.7494