BARCELOS, Katia Alves; ISATTO, Eduardo Luís. Verificação automática de conformidade: a busca da síntese nos requisitos. In: SIMPÓSIO BRASILEIRO DE GESTÃO E ECONOMIA DA CONSTRUÇÃO, 14., 2025. Anais [...]. Porto Alegre: ANTAC, 2025. DOI: 10.46421/sibragec.v14i.7804. Disponível em: https://eventos.antac.org.br/index.php/sibragec/article/view/7804. Acesso em: 3 maio. 2026.