The Handbook of Formal Methods in Human-Computer Interaction
-
sidottu
,
Englanti, 2017