Mendoza Morales, L., Capel Tuñón, M. y Pérez, M. (1) «Verificación automática de procesos de negocio con un enfoque composicional.», Rev. Téc. Fac. Ing. Univ. Zulia, 36(1). Disponible en: https://mail.produccioncientificaluz.org/index.php/tecnica/article/view/6886 (Accedido: 15junio2025).