Now showing items 1-1 of 1

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

Philippe Palanque has 3 co-authors in Research Commons.