Browsing by Author "Weyers, Benjamin"

Now showing items 6-6 of 6

  • 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 ...