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: http://www.produccioncientifica.luz.edu.ve/index.php/tecnica/article/view/6886 (Accedido: 2agosto2025).