BibTeX record conf/gi/Stehr02

• > Home > conf/gi/Stehr02

@incollection{DBLP:conf/gi/Stehr02,
  author       = {Mark{-}Oliver Stehr},
  editor       = {Heinz Beilner and
                  Herbert Fiedler and
                  Markus Gross and
                  Oliver G{\"{u}}nther and
                  Steffen H{\"{o}}lldobler and
                  G{\"{u}}nter Hotz and
                  Klaus{-}Peter L{\"{o}}hr and
                  R{\"{u}}diger Reischuk and
                  Dorothea Wagner},
  title        = {Programmierung, Spezifikation und Interaktives Beweisen},
  booktitle    = {Ausgezeichnete Informatikdissertationen 2002},
  series       = {{LNI}},
  volume       = {{D-3}},
  pages        = {185--199},
  publisher    = {{GI}},
  year         = {2002},
  url          = {https://dl.gi.de/handle/20.500.12116/4460},
  timestamp    = {Tue, 04 Jul 2023 17:43:53 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Stehr02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}