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 …