Mendoza Morales L, Capel Tuñón M, Pérez M. Verificación automática de procesos de negocio con un enfoque composicional. REV TEC FAC ING UNIV [Internet]. 1 [citado 26 de septiembre de 2025];36(1). Disponible en: http://www.produccioncientifica.luz.edu.ve/index.php/tecnica/article/view/6886