Proceedings of the Workshop on Formal Methods in Human Computer Interaction(FoMHCI)

Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque

Proceedings of the Workshop on Formal Methods in Human Computer Interaction(FoMHCI) (2015)

Conference Proceedings

Downloads: Proceedings (4MB)