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