Narváez, D.; Battaglia, N.; Fernández, A.; Rossi, G. Aplicación De Inteligencia Artificial Generativa Y Verificación Formal En El Descubrimiento De Microservicios. Revista Abierta de Informática Aplicada 2025, 9 (1), 2-24. https://doi.org/10.59471/raia2025225.