BibTeX record conf/erlang/FredlundEAS19

download as .bib file

@inproceedings{DBLP:conf/erlang/FredlundEAS19,
  author       = {Lars{-}{\AA}ke Fredlund and
                  Clara Benac Earle and
                  Thomas Arts and
                  Hans Svensson},
  editor       = {Adrian Francalanza and
                  Vikt{\'{o}}ria F{\"{o}}rd{\'{o}}s},
  title        = {Gaining trust by tracing security protocols},
  booktitle    = {Proceedings of the 18th {ACM} {SIGPLAN} International Workshop on
                  Erlang, Erlang@ICFP 2019, Berlin, Germany, August 18, 2019},
  pages        = {56--67},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3331542.3342573},
  doi          = {10.1145/3331542.3342573},
  timestamp    = {Tue, 04 Aug 2020 18:50:35 +0200},
  biburl       = {https://dblp.org/rec/conf/erlang/FredlundEAS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics