| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Web Services, Formal Methods, and Behavioral Types: 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and ... Notes in Computer Science, Band 9421) | 978-3-319-33611-4 (3-319-33611-8) | 2016 | Thomas Hildebrandt · António Ravara · Matthias Weidlich |