@Inproceedings\{CátiaVaz_10_2007,
author = {Cátia Vaz and C. Ferreira},
title = {Towards Automated Verification of Web Services},
booktitle = {IADIS WWW/Internet 2007},
location = {Vila Real, Portugal},
year = {2007},
month = {October},
}