BibTeX record conf/eics/Cauchi13

download as .bib file

@inproceedings{DBLP:conf/eics/Cauchi13,
  author       = {Abigail Cauchi},
  editor       = {Peter Forbrig and
                  Prasun Dewan and
                  Michael Harrison and
                  Kris Luyten},
  title        = {Using differential formal analysis for dependable number entry},
  booktitle    = {{ACM} {SIGCHI} Symposium on Engineering Interactive Computing Systems,
                  EICS'13, London, United Kingdom - June 24 - 27, 2013},
  pages        = {155--158},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2494603.2480339},
  doi          = {10.1145/2494603.2480339},
  timestamp    = {Sat, 09 Apr 2022 12:33:56 +0200},
  biburl       = {https://dblp.org/rec/conf/eics/Cauchi13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}