APA (7th ed.) Citation

Weyers, B., Bowen, J., Dix, A., & Palanque, P. (2017). The handbook of formal methods in human-computer interaction. Springer. https://doi.org/10.1007/978-3-319-51838-1

Chicago Style (17th ed.) Citation

Weyers, Benjamin, Judy Bowen, Alan Dix, and Philippe Palanque. The Handbook of Formal Methods in Human-computer Interaction. Cham: Springer, 2017. https://doi.org/10.1007/978-3-319-51838-1.

MLA (9th ed.) Citation

Weyers, Benjamin, et al. The Handbook of Formal Methods in Human-computer Interaction. Springer, 2017. https://doi.org/10.1007/978-3-319-51838-1.