BibTeX record conf/korso/Stroetmann95

download as .bib file

@incollection{DBLP:conf/korso/Stroetmann95,
  author    = {Karl Stroetmann},
  title     = {Seduct - {A} Proof Compiler for First Order Logic},
  booktitle = {{KORSO} - Methods, Languages, and Tools for the Construction of Correct
               Software},
  pages     = {299--316},
  year      = {1995},
  crossref  = {DBLP:conf/korso/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}
}
@book{DBLP:conf/korso/1995,
  editor    = {Manfred Broy and
               Stefan J{\"{a}}hnichen},
  title     = {{KORSO} - Methods, Languages, and Tools for the Construction of Correct
               Software},
  series    = {Lecture Notes in Computer Science},
  volume    = {1009},
  publisher = {Springer},
  year      = {1995},
  url       = {https://doi.org/10.1007/BFb0015452},
  doi       = {10.1007/BFb0015452},
  isbn      = {3-540-60589-4},
  timestamp = {Sat, 25 Jun 2022 08:06:04 +0200},
  biburl    = {https://dblp.org/rec/conf/korso/1995.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics