No Cover Image

Book chapter 287 views

Topics of Formal Methods in HCI

Judy Bowen, Alan Dix Orcid Logo, Philippe Palanque, Benjamin Weyers

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

Swansea University Author: Alan Dix Orcid Logo

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!
first_indexed 2019-05-20T11:26:41Z
last_indexed 2019-10-01T14:17:07Z
id cronfa50431
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2019-10-01T12:12:35.8378027</datestamp><bib-version>v2</bib-version><id>50431</id><entry>2019-05-19</entry><title>Topics of Formal Methods in HCI</title><swanseaauthors><author><sid>e31e47c578b2a6a39949aa7f149f4cf9</sid><ORCID>0000-0002-5242-7693</ORCID><firstname>Alan</firstname><surname>Dix</surname><name>Alan Dix</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2019-05-19</date><deptcode>SCS</deptcode><abstract/><type>Book chapter</type><journal>The Handbook of Formal Methods in Human-Computer Interaction</journal><paginationStart>57</paginationStart><paginationEnd>64</paginationEnd><publisher>Springer, Cham</publisher><isbnPrint>978-3-319-51837-4</isbnPrint><isbnElectronic>978-3-319-51838-1</isbnElectronic><issnPrint>1571-5035</issnPrint><keywords/><publishedDay>25</publishedDay><publishedMonth>4</publishedMonth><publishedYear>2017</publishedYear><publishedDate>2017-04-25</publishedDate><doi>10.1007/978-3-319-51838-1_2</doi><url/><notes/><college>COLLEGE NANME</college><department>Computer Science</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>SCS</DepartmentCode><institution>Swansea University</institution><apcterm/><lastEdited>2019-10-01T12:12:35.8378027</lastEdited><Created>2019-05-19T13:58:10.8816923</Created><path><level id="1">College of Science</level><level id="2">College of Science Central Office</level></path><authors><author><firstname>Judy</firstname><surname>Bowen</surname><order>1</order></author><author><firstname>Alan</firstname><surname>Dix</surname><orcid>0000-0002-5242-7693</orcid><order>2</order></author><author><firstname>Philippe</firstname><surname>Palanque</surname><order>3</order></author><author><firstname>Benjamin</firstname><surname>Weyers</surname><order>4</order></author></authors><documents/><OutputDurs/></rfc1807>
spelling 2019-10-01T12:12:35.8378027 v2 50431 2019-05-19 Topics of Formal Methods in HCI e31e47c578b2a6a39949aa7f149f4cf9 0000-0002-5242-7693 Alan Dix Alan Dix true false 2019-05-19 SCS Book chapter The Handbook of Formal Methods in Human-Computer Interaction 57 64 Springer, Cham 978-3-319-51837-4 978-3-319-51838-1 1571-5035 25 4 2017 2017-04-25 10.1007/978-3-319-51838-1_2 COLLEGE NANME Computer Science COLLEGE CODE SCS Swansea University 2019-10-01T12:12:35.8378027 2019-05-19T13:58:10.8816923 College of Science College of Science Central Office Judy Bowen 1 Alan Dix 0000-0002-5242-7693 2 Philippe Palanque 3 Benjamin Weyers 4
title Topics of Formal Methods in HCI
spellingShingle Topics of Formal Methods in HCI
Alan Dix
title_short Topics of Formal Methods in HCI
title_full Topics of Formal Methods in HCI
title_fullStr Topics of Formal Methods in HCI
title_full_unstemmed Topics of Formal Methods in HCI
title_sort Topics of Formal Methods in HCI
author_id_str_mv e31e47c578b2a6a39949aa7f149f4cf9
author_id_fullname_str_mv e31e47c578b2a6a39949aa7f149f4cf9_***_Alan Dix
author Alan Dix
author2 Judy Bowen
Alan Dix
Philippe Palanque
Benjamin Weyers
format Book chapter
container_title The Handbook of Formal Methods in Human-Computer Interaction
container_start_page 57
publishDate 2017
institution Swansea University
isbn 978-3-319-51837-4
978-3-319-51838-1
issn 1571-5035
doi_str_mv 10.1007/978-3-319-51838-1_2
publisher Springer, Cham
college_str College of Science
hierarchytype
hierarchy_top_id collegeofscience
hierarchy_top_title College of Science
hierarchy_parent_id collegeofscience
hierarchy_parent_title College of Science
department_str College of Science Central Office{{{_:::_}}}College of Science{{{_:::_}}}College of Science Central Office
document_store_str 0
active_str 0
published_date 2017-04-25T04:18:35Z
_version_ 1733313655382999040
score 10.872023