%0 Conference Paper %1 conf/eics/WeyersBDP15 %A Weyers, Benjamin %A Bowen, Judy %A Dix, Alan J. %A Palanque, Philippe A. %B EICS %D 2015 %E Nebeling, Michael %E Ziegler, Jürgen %E Nigay, Laurence %I ACM %K dblp %P 294-295 %T Workshop on formal methods in human computer interaction. %U http://dblp.uni-trier.de/db/conf/eics/eics2015.html#WeyersBDP15 %@ 978-1-4503-3646-8

@inproceedings{conf/eics/WeyersBDP15, added-at = {2020-09-05T00:00:00.000+0200}, author = {Weyers, Benjamin and Bowen, Judy and Dix, Alan J. and Palanque, Philippe A.}, biburl = {https://www.bibsonomy.org/bibtex/2d63fe91e13053e4383df035b5c33ab10/dblp}, booktitle = {EICS}, crossref = {conf/eics/2015}, editor = {Nebeling, Michael and Ziegler, Jürgen and Nigay, Laurence}, ee = {https://doi.org/10.1145/2774225.2777460}, interhash = {133648e4cb6ad9317778cf31b9ab5829}, intrahash = {d63fe91e13053e4383df035b5c33ab10}, isbn = {978-1-4503-3646-8}, keywords = {dblp}, pages = {294-295}, publisher = {ACM}, timestamp = {2020-09-09T14:46:01.000+0200}, title = {Workshop on formal methods in human computer interaction.}, url = {http://dblp.uni-trier.de/db/conf/eics/eics2015.html#WeyersBDP15}, year = 2015 }