| Titel | Art | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|---|
| FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings | Paperback | 978-3-319-48990-2 (3-319-48990-9) | 2017 | John Fitzgerald · Stefania Gnesi · Anna Philippou |
| FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings | Taschenbuch | 978-3-319-48988-9 (3-319-48988-7) | 2016 | John Fitzgerald · Stefania Gnesi · Anna Philippou |