No Cover Image

Book chapter 122 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
Tags: Add Tag
No Tags, Be the first to tag this record!
College: College of Science
Start Page: 57
End Page: 64