TY  - RPRT
TI  - Towards Automated Verification of Web Services
AU  - C. Vaz
AU  - C. Ferreira
PY  - 2011
UR  - https://arxiv.org/abs/1111.2824
ID  - 1111.2824
ER  -