BibTeX record journals/software/BackesBCGLRSSTV19

download as .bib file

@article{DBLP:journals/software/BackesBCGLRSSTV19,
  author    = {John Backes and
               Pauline Bolignano and
               Byron Cook and
               Andrew Gacek and
               Kasper S{\o}e Luckow and
               Neha Rungta and
               Martin Sch{\"{a}}f and
               Cole Schlesinger and
               Rima Tanash and
               Carsten Varming and
               Michael W. Whalen},
  title     = {One-Click Formal Methods},
  journal   = {{IEEE} Softw.},
  volume    = {36},
  number    = {6},
  pages     = {61--65},
  year      = {2019},
  url       = {https://doi.org/10.1109/MS.2019.2930609},
  doi       = {10.1109/MS.2019.2930609},
  timestamp = {Mon, 08 Jun 2020 22:31:57 +0200},
  biburl    = {https://dblp.org/rec/journals/software/BackesBCGLRSSTV19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics