| Titel | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, ... Notes in Computer Science , Band 3362) | 978-3-540-24287-1 | 2008 | Traian Muntean · Gilles Barthe · Jean-Louis Lanet · Lilian Burdy |
| Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, ... Notes in Computer Science , Band 3956) | 978-3-540-33689-1 | 2010 | Gilles Barthe · Benjamin Gregoire · Jean-Luis Lanet |
| Fundamental Approaches to Software Engineering | 978-3-662-54493-8 | 2017 | Julia Rubin |
| Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings | 978-3-319-33692-3 | 2016 | Erika Ábrahám |
| Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint ... Notes in Computer Science, Band 10805) | 978-3-319-89959-6 | 2018 | Dirk Beyer |
| Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint ... Notes in Computer Science, Band 10806) | 978-3-319-89962-6 | 2018 | " |
| Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, ... Notes in Computer Science, Band 11429) | 978-3-030-17501-6 | 2019 | Dirk Beyer · Fabrice Kordon · Bernhard Steffen |