BibTeX record conf/ifip2/BergstraK82

download as .bib file

@inproceedings{DBLP:conf/ifip2/BergstraK82,
  author       = {Jan A. Bergstra and
                  Jan Willem Klop},
  editor       = {Dines Bj{\o}rner},
  title        = {Formal Proof Systems for Program Equivalence},
  booktitle    = {Formal Description of Programming Concepts : Proceedings of the {IFIP}
                  Working Conference on Formal Description of Programming Concepts-
                  II, Garmisch-Partenkirchen, FRG, 1-4 June, 1982},
  pages        = {289--304},
  publisher    = {North-Holland},
  year         = {1982},
  timestamp    = {Tue, 15 Jan 2019 18:18:18 +0100},
  biburl       = {https://dblp.org/rec/conf/ifip2/BergstraK82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics