BibTeX record conf/fm/RungeTCSW19

download as .bib file

@inproceedings{DBLP:conf/fm/RungeTCSW19,
  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       = {https://doi.org/10.1007/978-3-030-54997-8\_25},
  doi       = {10.1007/978-3-030-54997-8\_25},
  timestamp = {Mon, 17 Aug 2020 17:16:06 +0200},
  biburl    = {https://dblp.org/rec/conf/fm/RungeTCSW19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics