Mendoza Morales, L., Capel Tuñón, M. e Pérez, M. (1) «Verificación automática de procesos de negocio con un enfoque composicional.», Revista Técnica da Faculdade de Engenharia da de Zulia, 36(1). Disponível em: https://produccioncientifica.luz.edu.ve/index.php/tecnica/article/view/6886 (Acedido: 2Agosto2025).