BibTeX record conf/se/RungeSCTKW21

download as .bib file

@inproceedings{DBLP:conf/se/RungeSCTKW21,
  author    = {Tobias Runge and
               Ina Schaefer and
               Loek Cleophas and
               Thomas Th{\"{u}}m and
               Derrick G. Kourie and
               Bruce W. Watson},
  editor    = {Anne Koziolek and
               Ina Schaefer and
               Christoph Seidl},
  title     = {Tool Support for Correctness-by-Construction},
  booktitle = {Software Engineering 2021, Fachtagung des GI-Fachbereichs Softwaretechnik,
               22.-26. Februar 2021, Braunschweig/Virtuell},
  series    = {{LNI}},
  volume    = {{P-310}},
  pages     = {93--94},
  publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
  year      = {2021},
  url       = {https://doi.org/10.18420/SE2021\_34},
  doi       = {10.18420/SE2021\_34},
  timestamp = {Thu, 18 Feb 2021 17:52:30 +0100},
  biburl    = {https://dblp.org/rec/conf/se/RungeSCTKW21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics