Takuan: A dynamic invariant generation system for WS-BPEL compositions
- Manuel Palonio-Duarte*
- , Antonio García-Domínguez
- , Inmaculada Medina-Bulo
*Corresponding author for this work
- Universidad de Cádiz
- Computer Languages and Systems Department
Research output: Chapter in Book/Published conference output › Conference publication
8
Link opens in a new tab
Citations
(Scopus)