1,601
views
0
recommends
+1 Recommend
1 collections
    0
    shares

      Teaching business & IT courses? Request a digital desk copy of any BCS Publishing title via the BCS Bookshop Inspection Copy Request form.

      scite_
      0
      0
      0
      0
      Smart Citations
      0
      0
      0
      0
      Citing PublicationsSupportingMentioningContrasting
      View Citations

      See how this article has been cited at scite.ai

      scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.

       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      2 nd International Workshop on Formal Methods for Interactive Systems

      Published
      proceedings-article
      ,
      Proceedings of HCI 2007 The 21st British HCI Group Annual Conference University of Lancaster, UK (HCI)
      British HCI Group Annual Conference
      3 - 7 September 2007

            Abstract

            Content

            Author and article information

            Contributors
            Conference
            September 2007
            September 2007
            : 1-2
            Affiliations
            [0001]Department of Computer Science, Queen Mary,

            University of London

            Mile End

            London, UK. E1 4NS

            +44 20 7882 5212
            [0002]Int. Inst. for Software Technology, United Nations

            University

            Macau SAR China
            Article
            10.14236/ewic/HCI2007.91
            82e434f4-a03e-4af2-8c39-5416d07293e4
            © Paul Curzon et al. Published by BCS Learning and Development Ltd. Proceedings of HCI 2007 The 21st British HCI Group Annual Conference University of Lancaster, UK

            This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

            Proceedings of HCI 2007 The 21st British HCI Group Annual Conference University of Lancaster, UK
            HCI
            21
            Lancaster, UK
            3 - 7 September 2007
            Electronic Workshops in Computing (eWiC)
            British HCI Group Annual Conference
            History
            Product

            1477-9358 BCS Learning & Development

            Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/HCI2007.91
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Applied computer science,Computer science,Security & Cryptology,Graphics & Multimedia design,General computer science,Human-computer-interaction

            Comments

            Comment on this article