Research Article
Formal Verification for CCML Based Web Service Composition
School of Information Science and Technology, Dalian Maritime University, Dalian, China
Hongbo Liu
School of Information Science and Technology, Dalian Maritime University, Dalian, China