In: Proceedings of the 10th International Conference on Intelligent User Interfaces. International Conference on Intelligent User Interfaces (IUI-07), …
In: Karen Yorav (Hrsg.). Hardware and Software, Verification and Testing, Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, …