An Approach for Verification in Service-Oriented Computing.

Soo Ho Chang, Fang-Fang Chua, Soo Dong Kim

Browse the full SERVICES paper archive.