Found 1 books

[en] The Handbook of Formal Methods in Human-Computer Interaction Springer

Benjamin Weyers, Judy Bowen, Alan Dix & Palanque, Philippe