UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Using a verification system to reason about post-completion errors

Curzon, P.; Blandford, A.; (2000) Using a verification system to reason about post-completion errors. Presented at: DSV-IS 2000: 7th International Workshop on Design, Specification and Verification of Interactive Systems: Models in Design of Interactive Systems and Usability Evaluation, Limerick, Ireland.

Full text not available from this repository.
Type: Conference item (Presentation)
Title: Using a verification system to reason about post-completion errors
Event: DSV-IS 2000: 7th International Workshop on Design, Specification and Verification of Interactive Systems: Models in Design of Interactive Systems and Usability Evaluation
Location: Limerick, Ireland
Dates: 5 - 6 June, 2000
Publisher version: http://www.hcirn.com/res/event/dsvis.php
Language: English
UCL classification: UCL > School of Life and Medical Sciences > Faculty of Brain Sciences > Psychology and Language Sciences (Division of) > UCL Interaction Centre
URI: http://discovery.ucl.ac.uk/id/eprint/16867
Downloads since deposit
0Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item