| Titel | Art | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|---|
| Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers | Taschenbuch | 978-3-642-35860-9 | 2013 | Corina S Pasareanu |
| Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings | " | 978-3-642-24430-8 | 2011 | Bernhard Schätz |
| Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings | " | 978-3-319-10430-0 | 2014 | Dimitra Giannakopoulou |
| Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings | Paperback | 978-3-319-10432-4 | 2014 | " |
| Software Engineering and Formal Methods: 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings | Taschenbuch | 978-3-030-30445-4 | 2019 | Peter Csaba Ölveczky |
G.S. · Gehan Selim · Gemma Salem · Gemma Solana · Gene Sloan · Gianni Solino