BibTeX record conf/safecomp/KastnerCG0KMWF20

download as .bib file

  author    = {Daniel K{\"{a}}stner and
               Christoph Cullmann and
               Gernot Gebhard and
               Sebastian Hahn and
               Thomas Karos and
               Laurent Mauborgne and
               Stephan Wilhelm and
               Christian Ferdinand},
  title     = {Safety-Critical Software Development in {C++}},
  booktitle = {{SAFECOMP} Workshops},
  series    = {Lecture Notes in Computer Science},
  volume    = {12235},
  pages     = {98--110},
  publisher = {Springer},
  year      = {2020}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics