Verificación automática de procesos de negocio con un enfoque composicional
- Morales, L.E.M.
- Tuñón, M.I.C.
- Pérez, M.A.
ISSN: 0254-0770
Ano de publicación: 2013
Volume: 36
Número: 1
Páxinas: 70-79
Tipo: Artigo
Revista:
Revista Tecnica de la Facultad de Ingenieria Universidad del Zulia