Barcelos, K.A. e 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 (set. 2025). DOI:https://doi.org/10.46421/sbtic.v5i00.7494.