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

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

Einrichtungen

  • Fachgruppe Informatik [120000]
  • Lehrstuhl für Informatik 9 (Process and Data Science) [122510]

Identifikationsnummern