| Titel | Art | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings | Taschenbuch | 978-3-642-32758-2 | 2012 | Dominique Mery |
| Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011, Held as Part of the Joint European Conference on Theory and ... Germany, March 26--April 3, 2011, Proceedings | Paperback | 978-3-642-19812-0 | 2011 | Fernando Orejas |
| Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011, Held as Part of the Joint European Conference on Theory and ... Notes in Computer Science, Band 6603) | Taschenbuch | 978-3-642-19810-6 | 2011 | " |
| Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings | " | 978-3-319-10430-0 | 2014 | Gwen Salaün |
| Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings | Paperback | 978-3-319-10432-4 | 2014 | " |
| Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers | Taschenbuch | 978-3-319-12153-6 | 2014 | Daniel Kroening |