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 [Internet]. 2025 Dec. 29 [cited 2026 Jan. 14];9(1):2-24. Available from: https://raia.revistasuai.ar/index.php/raia/article/view/225