From Public Views to Private Views: Correctness-by-Design for Services

van der Aalst, Wil M. P.; Lohmann, N.; Massuthe, P.; Stahl, C.; Wolf, K.

Berlin [u.a.] : Springer (2008)
Contribution to a book, Contribution to a conference proceedings

In: Web services and formal methods : 4th international workshop, WS-FM 2007, Brisbane, Australia, September 28 - 29, 2007 ; proceedings / Marlon Dumas ... (eds.)
Page(s)/Article-Nr.: 139-153