No Cover Image

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

Check full text

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

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 2023-01-11T14:26:53Z
id cronfa50430
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2022-12-16T12:54:18.5208701</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><volume/><journalNumber/><paginationStart>3</paginationStart><paginationEnd>55</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_1</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:18.5208701</lastEdited><Created>2019-05-19T13:57:52.7311301</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>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 2022-12-16T12:54:18.5208701 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 2022-12-16T12:54:18.5208701 2019-05-19T13:57:52.7311301 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science 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 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:53Z
_version_ 1763753185995915264
score 11.017797

Similar Items