BibTeX record conf/eics/WeyersBDP15

download as .bib file

@inproceedings{DBLP:conf/eics/WeyersBDP15,
  author       = {Benjamin Weyers and
                  Judy Bowen and
                  Alan J. Dix and
                  Philippe A. Palanque},
  editor       = {Michael Nebeling and
                  J{\"{u}}rgen Ziegler and
                  Laurence Nigay},
  title        = {Workshop on formal methods in human computer interaction},
  booktitle    = {Proceedings of the 7th {ACM} {SIGCHI} Symposium on Engineering Interactive
                  Computing Systems, {EICS} 2015, Duisburg, Germany, June 23-26, 2015},
  pages        = {294--295},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2774225.2777460},
  doi          = {10.1145/2774225.2777460},
  timestamp    = {Sat, 05 Sep 2020 17:55:31 +0200},
  biburl       = {https://dblp.org/rec/conf/eics/WeyersBDP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics