| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Formal Techniques for Distributed Objects, Components, and Systems: 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th ... Notes in Computer Science, Band 8461) | 978-3-662-43612-7 | 2014 | Catuscia Palamidessi |
| Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings | 978-3-319-33692-3 | 2016 | Marieke Huisman |
| Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday | 978-3-319-30733-6 | 2016 | Marcello Bonsangue · Einar Broch Johnsen |
| Tools and Algorithms for the Construction and Analysis of Systems | 978-3-642-54861-1 | 2014 | Erika Abraham · Klaus Havelund |