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
Argitalpen urtea: 2013
Alea: 36
Zenbakia: 1
Orrialdeak: 70-79
Mota: Artikulua
Aldizkaria:
Revista Tecnica de la Facultad de Ingenieria Universidad del Zulia