| Titel | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Formal Methods for Software Engineering: Languages, Methods, Application Domains | 978-3-030-38799-0 | 2020 | Markus Roggenbach · Bernd-Holger Schlingloff · Gerardo Schneider · Siraj Ahmed Shaikh |
| Information Technology and Open Source: Applications for Education, Innovation, and Sustainability: SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and ... Notes in Computer Science, Band 7991) | 978-3-642-54337-1 | 2014 | Donatella Persico · Sara Fernandes · Alexeis Garcia-Perez · Panagiotis Katsaros · Siraj Ahmed Shaikh · Ioannis Stamelos |
| Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, ... Notes in Computer Science, Band 10729) | 978-3-319-74780-4 | 2018 | Marco Roveri |
| Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings | 978-3-540-48815-6 | 2008 | Ana Cavalcanti · Kamel Barkaoui |
| Theoretical Aspects of Computing -- ICTAC 2011: 8th International Colloquium, Johannesburg, South Africa, August 31 -- September 2, 2011, Proceedings | 978-3-642-23282-4 | 2011 | Pekka Pihlajasaari |