In: H. Lieberman, editor, Proceedings of the 2000 International Conference on Intelligent User Interfaces (IUI '2000), pages 21-28, New Orleans, USA, …
In: W.Goerig (Hrsg.). Proceedings Workshop on Engineering of Software Verification, Validation, and Certification. Workshop on Engineering of Software …
In: Proceedings Ilmenau International Scientific Colloquium, Special Track: Validation and Verification. Ilmenau International Scientific Colloquium, …