Mendoza Morales, Luis, Manuel Capel Tuñón, y María Pérez. «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, no. 1 (1). Accedido noviembre 24, 2024. https://mail.produccioncientificaluz.org/index.php/tecnica/article/view/6886.