Paul Curzon, Antonio Cerone. 2:::nd::: International Workshop on Formal Methods for Interactive Systems. In Thomas C. Ormerod, Corina Sas, editors, Proceedings of the 21st British HCI Group Annual Conference on HCI 2007: HCI...but not as we know it - Volume 2, BCS HCI 2007, University of Lancaster, United Kingdom, 3-7 September 2007. pages 199-200, BCS, 2007. [doi]
Abstract is missing.