Book chapter 912 views
State of the Art on Formal Methods for Interactive Systems
Raquel Oliveira,
Philippe Palanque,
Benjamin Weyers,
Judy Bowen,
Alan Dix
The Handbook of Formal Methods in Human-Computer Interaction, Pages: 3 - 55
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_1
Abstract
State of the Art on Formal Methods for Interactive Systems
| 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/cronfa50430 |
| College: |
Faculty of Science and Engineering |
|---|---|
| Start Page: |
3 |
| End Page: |
55 |