Narváez, Daniel, Nicolás Battaglia, Alejandro Fernández, and Gustavo Rossi. 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.