Antonio Cerone, Olzhas Zhalgendinov. Cognitive Aspects in the Formal Modelling of Multi-party Human-Computer Interaction. In José Proença, Raul Fervari, Manuel A. Martins 0001, Reinhard Kahle, Graham Pluck, editors, Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops - ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers. Volume 15551 of Lecture Notes in Computer Science, pages 165-181, Springer, 2024. [doi]
Abstract is missing.