Erratum to: The Handbook of Formal Methods in Human-Computer Interaction [chapter]

Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque
2017 Human–Computer Interaction Series  
doi:10.1007/978-3-319-51838-1_21 fatcat:d7xypkbx7babjhdpynjbzvsula