@misc{indiciae463ee5c49d54,
  title = {Towards Automated Verification of Web Services},
  author = {C. Vaz and C. Ferreira},
  year = {2011},
  url = {https://arxiv.org/abs/1111.2824},
  note = {Source identifier: 1111.2824}
}