BibTeX record conf/gi/BergstraT81

• > Home > conf/gi/BergstraT81

@inproceedings{DBLP:conf/gi/BergstraT81,
  author       = {Jan A. Bergstra and
                  J. Terlouw},
  editor       = {Wilfried Brauer},
  title        = {A Characterization of Program Equivalence in Terms of Hoare's Logic},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {72--77},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_9},
  doi          = {10.1007/978-3-662-01089-1\_9},
  timestamp    = {Tue, 23 May 2017 01:10:33 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/BergstraT81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}