BibTeX record conf/fm/RungeTCSW19

download as .bib file

  author    = {Tobias Runge and
               Thomas Th{\"{u}}m and
               Loek Cleophas and
               Ina Schaefer and
               Bruce W. Watson},
  editor    = {Emil Sekerinski and
               Nelma Moreira and
               Jos{\'{e}} N. Oliveira and
               Daniel Ratiu and
               Riccardo Guidotti and
               Marie Farrell and
               Matt Luckcuck and
               Diego Marmsoler and
               Jos{\'{e}} Campos and
               Troy Astarte and
               Laure Gonnord and
               Antonio Cerone and
               Luis Couto and
               Brijesh Dongol and
               Martin Kutrib and
               Pedro Monteiro and
               David Delmas},
  title     = {Comparing Correctness-by-Construction with Post-Hoc Verification -
               {A} Qualitative User Study},
  booktitle = {Formal Methods. {FM} 2019 International Workshops - Porto, Portugal,
               October 7-11, 2019, Revised Selected Papers, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {12233},
  pages     = {388--405},
  publisher = {Springer},
  year      = {2019},
  url       = {\_25},
  doi       = {10.1007/978-3-030-54997-8\_25},
  timestamp = {Sun, 25 Jul 2021 11:52:30 +0200},
  biburl    = {},
  bibsource = {dblp computer science bibliography,}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics