Home
People
Publications
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)