Mendoza Morales, L., Capel Tuñón, M. y Pérez, M. (1) «Verificación automática de procesos de negocio con un enfoque composicional.», Revista Técnica de la Facultad de Ingeniería. Universidad del Zulia, 36(1). Disponible en: https://www.produccioncientificaluz.org/index.php/tecnica/article/view/6886 (Accedido: 19mayo2024).