![](/img/cover-not-exists.png)
[Human–Computer Interaction Series] The Handbook of Formal Methods in Human-Computer Interaction || Topics of Formal Methods in HCI
Weyers, Benjamin, Bowen, Judy, Dix, Alan, Palanque, PhilippeVolume:
10.1007/97
Year:
2017
Language:
english
DOI:
10.1007/978-3-319-51838-1_2
File:
PDF, 118 KB
english, 2017