| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, ... Notes in Computer Science, Band 9407) | 978-3-319-25422-7 (3-319-25422-7) | 2015 | Michael Butler · Sylvain Conchon |
| Testing Software and Systems: 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, Proceedings | 978-3-642-24579-4 (3-642-24579-X) | 2011 | Burkhart Wolff · Fatiha Zaidi |