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