The Handbook of Formal Methods in Human-Computer Interaction
Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque
The Handbook of Formal Methods in Human-Computer Interaction - Springer Springer 2017
9783319518381
EBOOK
The Handbook of Formal Methods in Human-Computer Interaction - Springer Springer 2017
9783319518381
EBOOK
