Weyers, B., Bowen, J., Dix, A., & Palanque, P. (2020). The Handbook of Formal Methods in Human-Computer Interaction. Springer International Publishing.
Trích dẫn kiểu ChicagoWeyers, Benjamin, Judy Bowen, Alan Dix, và Philippe Palanque. The Handbook of Formal Methods in Human-Computer Interaction. Springer International Publishing, 2020.
Trích dẫn MLAWeyers, Benjamin, Judy Bowen, Alan Dix, và Philippe Palanque. The Handbook of Formal Methods in Human-Computer Interaction. Springer International Publishing, 2020.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.