Agredo-Delgado, Vanessa, Pablo H. Ruiz, y Cesar A. Collazos. 2023. «Validación De La especificación Formal Del Proceso THUNDERS». TecnoLógicas 26 (57):e2658. https://doi.org/10.22430/22565337.2658.