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

College of Engineering and Physical Sciences

Research output: Chapter in Book/Published conference output › Conference publication

Engineering & Materials Science