%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 }