| Titel | Art | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|---|
| Web Services and Formal Methods: 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers | Taschenbuch | 978-3-319-08259-2 (3-319-08259-0) | 2014 | Emilio Tuosto |
| Web Services and Formal Methods: 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers | Paperback | 978-3-319-08261-5 (3-319-08261-2) | 2014 | " |