NARVÁEZ, Daniel; BATTAGLIA, Nicolás; FERNÁNDEZ, Alejandro; ROSSI, Gustavo. Aplicación de Inteligencia Artificial Generativa y Verificación Formal en el Descubrimiento de Microservicios. Revista Abierta de Informática Aplicada, [S. l.], v. 9, n. 1, p. 2–24, 2025. DOI: 10.59471/raia2025225. Disponível em: https://raia.revistasuai.ar/index.php/raia/article/view/225. Acesso em: 14 jan. 2026.