Olderog81'

BibTeX

@inproceedings{DBLP:conf/gi/Olderog81,
  author    = {Ernst-R{\"u}diger Olderog},
  title     = {Hoare-Style Proof Systems and Formal Computations},
  booktitle = {GI Jahrestagung},
  year      = {1981},
  pages     = {65-71},
  crossref  = {DBLP:conf/gi/1981},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/gi/1981,
  editor    = {Wilfried Brauer},
  title     = {GI - 11. Jahrestagung in Verbindung mit Third Conference
               of the European Co-operation in Informatics (ECI), M{\"u}nchen,
               20.-23. Oktober 1981, Proceedings},
  booktitle = {GI Jahrestagung},
  publisher = {Springer},
  series    = {Informatik-Fachberichte},
  volume    = {50},
  year      = {1981},
  isbn      = {3-540-10884-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}