Narváez, Daniel, et al. “Aplicación De Inteligencia Artificial Generativa Y Verificación Formal En El Descubrimiento De Microservicios”. Revista Abierta De Informática Aplicada, vol. 9, no. 1, Dec. 2025, pp. 2-24, https://doi.org/10.59471/raia2025225.