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) [Buchbeitrag, Beitrag zu einem Tagungsband]

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

Identifikationsnummern