Deng, Ting and Huai, Jinpeng and Li, Xianxian and Du, Zongxia and Guo, Huipeng (2009) Automated Synthesis of Composite Services with Correctness Guarantee. In: 18th International World Wide Web Conference, April 20th-24th, 2009, Madrid, Spain.