BibTeX record journals/corr/abs-2111-08209

• > Home > journals/corr/abs-2111-08209

@inproceedings{DBLP:journals/corr/abs-2111-08209,
  author       = {Carolina Carreira and
                  Jo{\~{a}}o F. Ferreira and
                  Alexandra Mendes and
                  Nicolas Christin},
  editor       = {Mario Gleirscher and
                  Jaco van de Pol and
                  Jim Woodcock},
  title        = {Exploring Usable Security to Improve the Impact of Formal Verification:
                  {A} Research Agenda},
  booktitle    = {Proceedings First Workshop on Applicable Formal Methods, AppFM@FM
                  2021, virtual, 23rd November 2021},
  series       = {{EPTCS}},
  volume       = {349},
  pages        = {77--84},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.349.6},
  doi          = {10.4204/EPTCS.349.6},
  timestamp    = {Mon, 28 Aug 2023 21:26:21 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2111-08209.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}