Verifying correctness of Web services choreography

by Melliti Tarek
Citations:2 - 0 self