UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Formally justifying user-centred design rules: A case study on post-completion errors

Curzon, P; Blandford, A; (2004) Formally justifying user-centred design rules: A case study on post-completion errors. In: INTEGRATED FORMAL METHODS, PROCEEDINGS. (pp. 461 - 480).

Full text not available from this repository.


Type:Proceedings paper
Title:Formally justifying user-centred design rules: A case study on post-completion errors
ISBN:3-540-21377-5
Keywords:cognitive architecture, user error, design rules, formal verification
UCL classification:UCL > School of BEAMS > Faculty of Engineering Science > Computer Science

Archive Staff Only: edit this record