Bixin Li, Yu Zhou, Jun Pang. Model-Driven Automatic Generation of Verified BPEL Code for Web Service Composition. In Shahida Sulaiman, Noor Maizura Mohamad Noor, editors, 16th Asia-Pacific Software Engineering Conference, APSEC 2009, 1-3 December 2009, Batu Ferringhi, Penang, Malaysia. pages 355-362, IEEE Computer Society, 2009. [doi]
Abstract is missing.