No Cover Image

Book chapter 317 views

State of the Art on Formal Methods for Interactive Systems

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

The Handbook of Formal Methods in Human-Computer Interaction, Pages: 3 - 55

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/cronfa50430
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 cronfa50430
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2019-10-01T12:21:48.3473841</datestamp><bib-version>v2</bib-version><id>50430</id><entry>2019-05-19</entry><title>State of the Art on Formal Methods for Interactive Systems</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>3</paginationStart><paginationEnd>55</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_1</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:21:48.3473841</lastEdited><Created>2019-05-19T13:57:52.7311301</Created><path><level id="1">College of Science</level><level id="2">College of Science Central Office</level></path><authors><author><firstname>Raquel</firstname><surname>Oliveira</surname><order>1</order></author><author><firstname>Philippe</firstname><surname>Palanque</surname><order>2</order></author><author><firstname>Benjamin</firstname><surname>Weyers</surname><order>3</order></author><author><firstname>Judy</firstname><surname>Bowen</surname><order>4</order></author><author><firstname>Alan</firstname><surname>Dix</surname><orcid>0000-0002-5242-7693</orcid><order>5</order></author></authors><documents/><OutputDurs/></rfc1807>
spelling 2019-10-01T12:21:48.3473841 v2 50430 2019-05-19 State of the Art on Formal Methods for Interactive Systems 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 3 55 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_1 COLLEGE NANME Computer Science COLLEGE CODE SCS Swansea University 2019-10-01T12:21:48.3473841 2019-05-19T13:57:52.7311301 College of Science College of Science Central Office Raquel Oliveira 1 Philippe Palanque 2 Benjamin Weyers 3 Judy Bowen 4 Alan Dix 0000-0002-5242-7693 5
title State of the Art on Formal Methods for Interactive Systems
spellingShingle State of the Art on Formal Methods for Interactive Systems
Alan Dix
title_short State of the Art on Formal Methods for Interactive Systems
title_full State of the Art on Formal Methods for Interactive Systems
title_fullStr State of the Art on Formal Methods for Interactive Systems
title_full_unstemmed State of the Art on Formal Methods for Interactive Systems
title_sort State of the Art on Formal Methods for Interactive Systems
author_id_str_mv e31e47c578b2a6a39949aa7f149f4cf9
author_id_fullname_str_mv e31e47c578b2a6a39949aa7f149f4cf9_***_Alan Dix
author Alan Dix
author2 Raquel Oliveira
Philippe Palanque
Benjamin Weyers
Judy Bowen
Alan Dix
format Book chapter
container_title The Handbook of Formal Methods in Human-Computer Interaction
container_start_page 3
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_1
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:05:55Z
_version_ 1736755543649812480
score 10.87717