| Titel | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Architecting Dependable Systems VI | 978-3-642-10247-9 | 2009 | Rogerio de Lemos · Jean-Charles Fabre · Cristina Gacek · Fabio Gadducci |
| Critical Systems: Formal Methods and Automated Verification | 978-3-319-45942-4 | 2016 | Stefania Gnesi · Alexander Knapp |
| Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings | 978-3-319-45944-8 | 2016 | Stefania Gnesi · Alexander Knapp |
| Formal Methods - The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings | 978-3-030-30941-1 | 2019 | Annabelle McIver · José N. Oliveira |
| From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday | 978-3-030-30984-8 | 2019 | Alessandro Fantechi · Laura Semini |
| Web Services and Formal Methods: 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers | 978-3-642-38229-1 | 2013 | Niels Lohmann |