| Titel | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software ... Notes in Computer Science, Band 8483) | 978-3-319-07316-3 | 2014 | Marco Bernardo · Ferruccio Damiani · Reiner Haehnle · Ina Schaefer |
| Formal Methods for Multicore Programming | 978-3-319-18940-6 | 2015 | Marco Bernardo |
| Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, ... Notes in Computer Science, Band 4468) | 978-3-540-72919-8 | 2008 | Marcello M. Bonsangue |
| Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings | 978-3-642-38612-1 | 2013 | Luigia Petre |
| Service-Oriented and Cloud Computing: 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings | 978-3-319-44481-9 | 2016 | Marco Aiello · Schahram Dustdar · Ilche Georgievski |
| Service-Oriented and Cloud Computing: 6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, Proceedings | 978-3-319-67261-8 | 2017 | Flavio De Paoli · Stefan Schulte |
| Software Engineering and Formal Methods: 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, ... Notes in Computer Science, Band 10886) | 978-3-319-92969-9 | 2018 | Ina Schaefer |
| Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings | 978-3-319-61466-3 | 2017 | Sebastian Gabmeyer |
| 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 | Erika Ábrahám · Marcello Bonsangue |