?url_ver=Z39.88-2004&rft_id=10.1145%2F2211616.2211619&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.aufirst=Alessandro&rft.aulast=Fantechi&rft.au=Fantechi%2C+Alessandro&rft.date=2012&rft.title=ACM+Transactions+on+Software+Engineering+and+Methodology&rft.atitle=A+Logical+Verification+Methodology+for+Service-Oriented+Computing&rft.issue=3&rft.pages=16%3A01-16%3A46&rft.volume=21&rft.issn=1049-331X&rft.genre=article