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-Zitierstil (17. Ausg.)Weyers, Benjamin, Judy Bowen, Alan Dix, und 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-Zitierstil (9. Ausg.)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.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.