Erscheinungsjahr | ISBN | Autor(en) | Titel |
2004 | 978-3-902457-01-1 | Jens Grabowski · Brian Nielsen | Proceedings of Workshop on Formal Approaches to Testing of Software (FATES 2004): 19th IEEE International Conference on Automated Software Engineering - ASE 2004 |
'' | 978-3-902457-02-8 | Thomas Gschwind · Gerti Kappel · Cecilia Mascolo | Proceedings of Software Engineering and Middleware Workshop: 19th IEEE International Conference on Automated Software |
2005 | 978-3-902457-09-7 | Proceedings of the Work in Progress Session. Held in connection with the 31st EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA ... on Digital System Design (DSD 2005) |