Narváez, D. et al. 2025. Aplicación de Inteligencia Artificial Generativa y Verificación Formal en el Descubrimiento de Microservicios. Revista Abierta de Informática Aplicada. 9, 1 (Dec. 2025), 2–24. DOI:https://doi.org/10.59471/raia2025225.