TY  - BOOK
AU  - Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque
TI  - The Handbook of Formal Methods in Human-Computer Interaction
SN  - 9783319518381
PB  - Springer
UR  - https://link.springer.com/openurl?genre=book&isbn=978-3-319-51838-1
ER  -