Author:
Curzon Paul,Blandford Ann
Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. R. Butterworth, A. Blandford and D. Duke. Using formal models to explore display based usability issues. Journal of Visual Languages and Computing, 10:455–479, 1999.
2. M. Byrne and S. Bovair. A working memory model of a common procedural error. Cognitive Science, 21(1): 31–61, 1997.
3. F. Corella, Z. Zhou, X. Song, M. Langevin and E. Cerny. Multiway Decision Graphs for automated hardware verification. Formal Methods in System Design, 10(1): 7–46, 1997.
4. P. Curzon and A. Blandford. Using a verification system to reason about post-completion errors. Presented at Design, Specification and Verification of Interactive Systems 2000. Available from http://www.cs.mdx.ac.uk/puma/ .
5. P. Curzon and A. Blandford. Reasoning about order errors in interaction. Supplementary Proceedings of the International Conference on Theorem Proving in Higher-order Logics, August 2000. Available from http://www.cs.mdx.ac.uk/puma/ .
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献