Now showing items 1-2 of 2

  • Topics of formal methods in HCI

    Bowen, Judy; Dix, Alan; Palanque, Palanque; Weyers, Benjamin (Springer International Publishing, 2017)
    In this chapter, we present an overview of some of the general themes and topics that can be seen in research into formal methods in human–computer interaction. We discuss how the contents of the rest of the book relate ...
  • Workshop on formal methods in human computer interaction

    Weyers, Benjamin; Bowen, Judy; Dix, Alan; Palanque, Philippe (ACM, 2015-06-23)
    This workshop aims to gather active researchers and practitioners in the field of formal methods for interactive systems. The mam objective is twofold: on one hand look at the evolutions of the definition and use of formal ...

Alan Dix has 4 co-authors in Research Commons.