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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics