Book chapter 1333 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.
DOI (Published version): 10.1007/978-3-319-51838-1_2
Abstract
Topics of Formal Methods in HCI
| 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 |