Publication Overview

German Shegalov and Gerhard Weikum

Formal Verification of Web Service Interaction Contracts

Published in: IEEE SCC (2)
Year: 2008
Pages: 525-528