Towards an Approach of Formal Verification of Web Service Composition
Origine : Publication financée par une institution