No Cover Image

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

ISBN: 978-3-319-51838-1
Published: Springer 2017
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
Item Description: 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: College of Science