A method of verifying web service composition. - Huynh Quyet Thang; Quynh Pham Thi; Duc Bui Hoang (SoICT, 2010)