No Cover Image

Book chapter 956 views

Topics of Formal Methods in HCI

Judy Bowen, Alan Dix, Philippe Palanque, Benjamin Weyers

The Handbook of Formal Methods in Human-Computer Interaction, Pages: 57 - 64

Swansea University Author: Alan Dix

Full text not available from this repository: check for access using links below.

Published in: The Handbook of Formal Methods in Human-Computer Interaction
ISBN: 978-3-319-51837-4 978-3-319-51838-1
ISSN: 1571-5035
Published: Springer, Cham 2017
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa50431
College: Faculty of Science and Engineering
Start Page: 57
End Page: 64