Semantic-Based Development of Service-Oriented Systems

Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias Hölzl, Alexander Knapp, Nora Koch, Andreas Schroeder

In: E. Najn et al. (Hgg.). Proc. 26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems (FORTE'06), Lect. Notes Comp. Sci. 4229. Springer, Berlin, 2006. S. 24-45.