Tom Maibaum

Titel	ISBN-13	Erschei- nungsjahr	andere Autoren
Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October ... / Programming and Software Engineering)	978-3-540-88193-3	2008	Shaoying Liu
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	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 ... Germany, March 25 - April 2, 2000 Proceedings	978-3-662-19588-8	2014
Fundamental Approaches to Software Engineering: Third International Conference, FASE 2000 Held as Part of the Joint European Conference on Theory and ... Notes in Computer Science , Band 1783)	978-3-540-67261-6	2008
On the Construction of Engineering Handbooks: with an Illustration from the Railway Safety Domain	978-3-030-44647-5	2020	Stefan Gruner · Apurva Kumar · Markus Roggenbach