Integrating Formal Predictions of Interactive System Behaviour with User Evaluation.

Rimvydas Ruksenas, Paul Curzon, Michael D. Harrison

Browse the full IFM paper archive.