Browsing by Author "Palanque, Philippe"
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 ...
Co-authors for Philippe Palanque
Philippe Palanque has 3 co-authors in Research Commons.