Barcelos, Katia Alves, e Eduardo Luís Isatto. “Verificação automática De Conformidade: A Busca Da síntese Nos Requisitos”. SIMPÓSIO BRASILEIRO DE GESTÃO E ECONOMIA DA CONSTRUÇÃO 14 (setembro 19, 2025). Acessado maio 3, 2026. https://eventos.antac.org.br/index.php/sibragec/article/view/7804.