Takuan: A dynamic invariant generation system for WS-BPEL compositions
- Palonio-Duarte, M.
- García-Domínguez, A.
- Medina-Bulo, I.
Actas:
Proceedings of the 6th IEEE European Conference on Web Services, ECOWS'08
ISBN: 9780769533995
Año de publicación: 2008
Páginas: 63-72
Tipo: Aportación congreso