Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Book Section
%1 books/sp/17/BowenDPW17
%A Bowen, Judy
%A Dix, Alan J.
%A Palanque, Philippe A.
%A Weyers, Benjamin
%B Handbook of Formal Methods in Human-Computer Interaction
%D 2017
%E Weyers, Benjamin
%E Bowen, Judy
%E Dix, Alan J.
%E Palanque, Philippe A.
%I Springer International Publishing
%K dblp
%P 57-64
%T Topics of Formal Methods in HCI.
%U http://dblp.uni-trier.de/db/books/collections/WBDP2017.html#BowenDPW17
%@ 978-3-319-51838-1
@incollection{books/sp/17/BowenDPW17,
added-at = {2020-06-02T00:00:00.000+0200},
author = {Bowen, Judy and Dix, Alan J. and Palanque, Philippe A. and Weyers, Benjamin},
biburl = {https://www.bibsonomy.org/bibtex/2e20b0f6e647806cc0ed6ec7d8830c314/dblp},
booktitle = {Handbook of Formal Methods in Human-Computer Interaction},
crossref = {books/sp/WDBP2017},
editor = {Weyers, Benjamin and Bowen, Judy and Dix, Alan J. and Palanque, Philippe A.},
ee = {https://doi.org/10.1007/978-3-319-51838-1_2},
interhash = {33b4bb6150ae2836f3991e461140edc7},
intrahash = {e20b0f6e647806cc0ed6ec7d8830c314},
isbn = {978-3-319-51838-1},
keywords = {dblp},
pages = {57-64},
publisher = {Springer International Publishing},
timestamp = {2020-06-03T11:39:15.000+0200},
title = {Topics of Formal Methods in HCI.},
url = {http://dblp.uni-trier.de/db/books/collections/WBDP2017.html#BowenDPW17},
year = 2017
}