%0 Book Section %1 books/sp/17/WeyersHBDP17 %A Weyers, Benjamin %A Harrison, Michael D. %A Bowen, Judy %A Dix, Alan J. %A Palanque, Philippe A. %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 89-121 %T Case Studies. %U http://dblp.uni-trier.de/db/books/collections/WBDP2017.html#WeyersHBDP17 %@ 978-3-319-51838-1

@incollection{books/sp/17/WeyersHBDP17, added-at = {2024-05-07T00:00:00.000+0200}, author = {Weyers, Benjamin and Harrison, Michael D. and Bowen, Judy and Dix, Alan J. and Palanque, Philippe A.}, biburl = {https://www.bibsonomy.org/bibtex/250610ecc24d5f05f041ebdc86a030dcb/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_4}, interhash = {99ad7d44a6b99a5cf58f398d20aa8268}, intrahash = {50610ecc24d5f05f041ebdc86a030dcb}, isbn = {978-3-319-51838-1}, keywords = {dblp}, pages = {89-121}, publisher = {Springer International Publishing}, timestamp = {2024-05-13T09:12:11.000+0200}, title = {Case Studies.}, url = {http://dblp.uni-trier.de/db/books/collections/WBDP2017.html#WeyersHBDP17}, year = 2017 }