TY  - DATA
AU  - Benjamin Weyers
AU  -  Alan Dix
AU  -  Judy Bowen
TI  - The Handbook of Formal Methods in Human-Computer Interaction
T2  - Human�Computer Interaction Series
SN  - 9783319518381
PB  - Springer
KW  - Computer Science
KW  - User Interfaces and Human Computer Interaction
UR  - https://link.springer.com/openurl?genre=book&isbn=978-3-319-51838-1
ER  -