BibTeX record conf/korso/Stroetmann95

download as .bib file

@incollection{DBLP:conf/korso/Stroetmann95,
  author    = {Karl Stroetmann},
  editor    = {Manfred Broy and
               Stefan J{\"{a}}hnichen},
  title     = {Seduct - {A} Proof Compiler for First Order Logic},
  booktitle = {{KORSO} - Methods, Languages, and Tools for the Construction of Correct
               Software},
  series    = {Lecture Notes in Computer Science},
  volume    = {1009},
  pages     = {299--316},
  publisher = {Springer},
  year      = {1995},
  url       = {https://doi.org/10.1007/BFb0015469},
  doi       = {10.1007/BFb0015469},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/conf/korso/Stroetmann95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics