?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.aufirst=Daniel&rft.au=Narv%C3%A1ez%2C+Daniel&rft.aulast=Narv%C3%A1ez&rft.issue=1&rft.atitle=Aplicaci%C3%B3n+de+Inteligencia+Artificial+Generativa+y+Verificaci%C3%B3n+Formal+en+el+Descubrimiento+de+Microservicios&rft.date=December+2025&rft.pages=2-24&rft.title=Revista+Abierta+de+Inform%C3%A1tica+Aplicada&rft.volume=9&rft.issn=2591-5320&rft.genre=article