The Handbook of Formal Methods in Human-Computer Interaction

Benjamin Weyers (Editor), Judy Bowen (Editor), Alan Dix (Editor), Philippe Palanque (Editor)

Research output: Book/Report › Book

Name	Human–Computer Interaction Series
Publisher	Springer
ISSN (Print)	1571-5035

Access to Document

@book{ad74f9d547054713a9bf735678f2bcee,

title = "The Handbook of Formal Methods in Human-Computer Interaction",

editor = "Benjamin Weyers and Judy Bowen and Alan Dix and Philippe Palanque",

year = "2017",

month = apr,

day = "26",

doi = "10.1007/978-3-319-51838-1",

language = "English",

isbn = "9783319518374",

series = "Human–Computer Interaction Series",

publisher = "Springer",

edition = "1",

}

TY - BOOK

T1 - The Handbook of Formal Methods in Human-Computer Interaction

A2 - Weyers, Benjamin

A2 - Bowen, Judy

A2 - Dix, Alan

A2 - Palanque, Philippe

PY - 2017/4/26

Y1 - 2017/4/26

U2 - 10.1007/978-3-319-51838-1

DO - 10.1007/978-3-319-51838-1

M3 - Book

SN - 9783319518374

T3 - Human–Computer Interaction Series

BT - The Handbook of Formal Methods in Human-Computer Interaction

PB - Springer

ER -