Verification of Communication Protocols in Web Services: Model-Checking Service CompositionsSakib, Kazi114,60€