| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October ... 5256 | 978-3-540-88193-3 (3-540-88193-X) | 2010 | Shaoying Liu · Keijiro Araki |
| Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for ... Papers | 978-3-540-20527-2 (3-540-20527-6) | 2003 | Bernhard K. Aichernig |
| Fundamental Approaches to Software Engineering: Third International Conference, FASE 2000 Held as Part of the Joint European Conference on Theory and ... | 978-3-540-67261-6 (3-540-67261-3) | 2000 | |