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