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. doi:10.59471/raia2025225