The Handbook of Formal Methods in Human-Computer Interaction by Benjamin Weyers Back to product details page >