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

Archive Staff Only: edit this record