No Cover Image

Book chapter 801 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.

Check full text

DOI (Published version): 10.1007/978-3-319-51838-1_2

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 2023-01-11T14:26:53Z
id cronfa50431
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2022-12-16T12:54:40.4379314</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><volume/><journalNumber/><paginationStart>57</paginationStart><paginationEnd>64</paginationEnd><publisher>Springer, Cham</publisher><placeOfPublication/><isbnPrint>978-3-319-51837-4</isbnPrint><isbnElectronic>978-3-319-51838-1</isbnElectronic><issnPrint>1571-5035</issnPrint><issnElectronic/><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/><funders/><projectreference/><lastEdited>2022-12-16T12:54:40.4379314</lastEdited><Created>2019-05-19T13:58:10.8816923</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Computer Science</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 2022-12-16T12:54:40.4379314 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 2022-12-16T12:54:40.4379314 2019-05-19T13:58:10.8816923 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science 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 Faculty of Science and Engineering
hierarchytype
hierarchy_top_id facultyofscienceandengineering
hierarchy_top_title Faculty of Science and Engineering
hierarchy_parent_id facultyofscienceandengineering
hierarchy_parent_title Faculty of Science and Engineering
department_str School of Mathematics and Computer Science - Computer Science{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Computer Science
document_store_str 0
active_str 0
published_date 2017-04-25T04:01:54Z
_version_ 1763753186115452928
score 11.012678

Similar Items