BibTeX record conf/eics/OliveiraDCD16

• > Home > conf/eics/OliveiraDCD16

@inproceedings{DBLP:conf/eics/OliveiraDCD16,
  author       = {Raquel Ara{\'{u}}jo de Oliveira and
                  Sophie Dupuy{-}Chessa and
                  Ga{\"{e}}lle Calvary and
                  Daniele Dadolle},
  editor       = {Kris Luyten and
                  Philippe A. Palanque},
  title        = {Using formal models to cross check an implementation},
  booktitle    = {Proceedings of the 8th {ACM} {SIGCHI} Symposium on Engineering Interactive
                  Computing Systems, {EICS} 2016, Brussels, Belgium, June 21-24, 2016},
  pages        = {126--137},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2933242.2933257},
  doi          = {10.1145/2933242.2933257},
  timestamp    = {Sat, 11 Feb 2023 20:25:37 +0100},
  biburl       = {https://dblp.org/rec/conf/eics/OliveiraDCD16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}