TY  - BOOK
AU  - Weyers, Benjamin  
AU  -  Bowen, Judy 
AU  - Dix, Alan 
AU  -  Palanque, Philippe
TI  - The Handbook of Formal Methods in Human Computer Interaction
SN  - 9783319518374 
U1  - 004.0151 
PY  - 2017///
CY  - Switzerland
PB  - Springer 
KW  - Computer Literacy
ER  -