Edited book 142 views
The Handbook of Formal Methods in Human-Computer Interaction / Benjamin Weyers; Judy Bowen; Alan Dix; Philippe Palanque
Swansea University Author: Alan, Dix
The Handbook of Formal Methods in Human-Computer Interaction
No Tags, Be the first to tag this record!
100 words: This is an edited volume that captures the state of art in the area. As well as individual authored chapters, the editors wrote four initial chapters which analysing the past and current state, to create a roadmap of future research challenges. Chapter 3, Trends and Gaps, is perhaps most significant in this respect.
College of Science