The Psychology of Human-Computer Interaction
The Psychology of Human-Computer Interaction
Test case generation from mutated task models
Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems
A method for formalizing, analyzing, and verifying secure user interfaces
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Hi-index | 0.00 |