Proceedings of the Workshop on Formal Methods in Human Computer Interaction (FoMHCI) 2015, Duisburg, Germany : [In Conjunction with the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS)]

Aachen / Publikationsserver der RWTH Aachen University (2015) [Proceedings]

Workshop on Formal Methods for Human Computer Interaction Duisburg 2015-06-23 - 2015-06-23
Page(s): 53 S. : Ill., graph. Darst.

Authors

Selected Authors

Weyers, Benjamin
Bowen, Judy
Dix, Alan
Palanque, Philippe

Identifier

  • URN: urn:nbn:de:hbz:82-rwth-2015-030425
  • REPORT NUMBER: RWTH-2015-03042