AGREDO-DELGADO, Vanessa; H. RUIZ, Pablo; COLLAZOS, Cesar A. Validating the Formal Specification of the THUNDERS Process. TecnoLógicas, [S. l.], v. 26, n. 57, p. e2658, 2023. DOI: 10.22430/22565337.2658. Disponível em: https://revistas.itm.edu.co/index.php/tecnologicas/article/view/2658. Acesso em: 18 may. 2024.