The Handbook of Formal Methods in Human-Computer Interaction

MLA

Weyers, Benjamin; Bowen, Judy; Dix, Alan; Palanque, Philippe, et al. The Handbook of Formal Methods In Human-computer Interaction. Springer International Publishing, 2017.

APA

Weyers, P., Bowen, J., Dix, A., & Palanque, P. (2017). The Handbook of Formal Methods in Human-Computer Interaction. Springer International Publishing.

Chicago

Weyers, Benjamin; Bowen, Judy; Dix, Alan; Palanque, Philippe, Judy Bowen, Alan Dix, and Philippe Palanque. The Handbook of Formal Methods In Human-Computer Interaction. : Springer International Publishing, 2017.