A Proof Based Approach for Modelling and VerifyingWeb Services Compositions.

Idir At-Sadoune, Yamine At Ameur

Browse the full ICECCS paper archive.