BibTeX record conf/se/RichterH12

download as .bib file

@inproceedings{DBLP:conf/se/RichterH12,
  author    = {Dirk Richter and
               Roberto Hoffmann},
  editor    = {Stefan J{\"{a}}hnichen and
               Bernhard Rumpe and
               Holger Schlingloff},
  title     = {Fehlalarmfreie Abstraktion in {ISO-C} konformer Semantik},
  booktitle = {Software Engineering 2012 - Workshopband, Fachtagung des GI-Fachbereichs
               Softwaretechnik, 27. Februar - 2. M{\"{a}}rz 2012 in Berlin},
  series    = {{LNI}},
  volume    = {{P-199}},
  pages     = {89--104},
  publisher = {{GI}},
  year      = {2012},
  url       = {https://dl.gi.de/20.500.12116/18378},
  timestamp = {Wed, 13 Jan 2021 10:31:48 +0100},
  biburl    = {https://dblp.org/rec/conf/se/RichterH12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics