Agredo-Delgado V, H. Ruiz P, Collazos CA. Validación de la especificación formal del proceso THUNDERS. TecnoL. [Internet]. 29 de agosto de 2023 [citado 18 de mayo de 2024];26(57):e2658. Disponible en: https://revistas.itm.edu.co/index.php/tecnologicas/article/view/2658