BibTeX record conf/adt/Petzsch84

• > Home > conf/adt/Petzsch84

@inproceedings{DBLP:conf/adt/Petzsch84,
  author       = {Heiko Petzsch},
  editor       = {Hans{-}J{\"{o}}rg Kreowski},
  title        = {Automatic Prototyping of Algebraic Specifications using {PROLOG}},
  booktitle    = {Recent Trends in Data Type Specification, 3rd Workshop on Theory and
                  Applications of Abstract Data Types, Bremen, Germany, November 13-16,
                  1984, Selected Papers},
  series       = {Informatik-Fachberichte},
  volume       = {116},
  pages        = {207--223},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/978-3-662-09691-8\_16},
  doi          = {10.1007/978-3-662-09691-8\_16},
  timestamp    = {Mon, 18 Jun 2018 21:21:13 +0200},
  biburl       = {https://dblp.org/rec/conf/adt/Petzsch84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}