| 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 · Constance Heitmeyer · Stefania Gnesi |
| 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 · Constance Heitmeyer · Stefania Gnesi |
| Tools and Algorithms for the Construction and Analysis of Systems | " | 978-3-642-00767-5 (3-642-00767-8) | 2009 | Stefan Kowalewski |