Curzon, P. and 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