BibTeX record conf/stoc/Olderog83

• > Home > conf/stoc/Olderog83

@inproceedings{DBLP:conf/stoc/Olderog83,
  author       = {Ernst{-}R{\"{u}}diger Olderog},
  editor       = {David S. Johnson and
                  Ronald Fagin and
                  Michael L. Fredman and
                  David Harel and
                  Richard M. Karp and
                  Nancy A. Lynch and
                  Christos H. Papadimitriou and
                  Ronald L. Rivest and
                  Walter L. Ruzzo and
                  Joel I. Seiferas},
  title        = {A Characterization of Hoare's Logic for Programs with Pascal-like
                  Procedures},
  booktitle    = {Proceedings of the 15th Annual {ACM} Symposium on Theory of Computing,
                  25-27 April, 1983, Boston, Massachusetts, {USA}},
  pages        = {320--329},
  publisher    = {{ACM}},
  year         = {1983},
  url          = {https://doi.org/10.1145/800061.808761},
  doi          = {10.1145/800061.808761},
  timestamp    = {Tue, 06 Nov 2018 11:07:04 +0100},
  biburl       = {https://dblp.org/rec/conf/stoc/Olderog83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}