Capel Tuñón, Manuel, Universidad de Granada-España, España

• Revista Técnica de la Facultad de Ingeniería. Universidad del Zulia Vol. 36 Núm. 1 - Artículos de Investigación
  Verificación automática de procesos de negocio con un enfoque composicional.
  Resumen  PDF