BibTeX record conf/sigmod/HawryszkiewyczD72

download as .bib file

@inproceedings{DBLP:conf/sigmod/HawryszkiewyczD72,
  author    = {Igor T. Hawryszkiewycz and
               Jack B. Dennis},
  editor    = {A. L. Dean},
  title     = {An Approach to Proving the Correctness of Data Base Operations},
  booktitle = {Proceedings of 1972 {ACM-SIGFIDET} Workshop on Data Description, Access
               and Control, Denver, Colorado, USA, November 29 - December 1, 1972},
  pages     = {323--348},
  publisher = {{ACM}},
  year      = {1972},
  timestamp = {Thu, 26 Nov 2020 10:52:52 +0100},
  biburl    = {https://dblp.org/rec/conf/sigmod/HawryszkiewyczD72.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics