| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, ... Notes in Computer Science, Band 5569) | 978-3-642-O1917-3 (3-642-O1917-X) | 2010 | Marco Bernardo · Gianluigi Zavattaro |