Book chapter 775 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 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| College: |
Faculty of Science and Engineering |
|---|---|
| Start Page: |
3 |
| End Page: |
55 |