Verifying correctness of Web services choreography (0)

by C Boutrous-Saab M Tarek
Venue:Proceedings of the European Conference on Web Services