BibTeX record conf/popl/GoodC79

download as .bib file

@inproceedings{DBLP:conf/popl/GoodC79,
  author       = {Donald I. Good and
                  Richard M. Cohen and
                  James G. Keeton{-}Williams},
  editor       = {Alfred V. Aho and
                  Stephen N. Zilles and
                  Barry K. Rosen},
  title        = {Principles of Proving Programs Correct in Gypsy},
  booktitle    = {Conference Record of the Sixth Annual {ACM} Symposium on Principles
                  of Programming Languages, San Antonio, Texas, USA, January 1979},
  pages        = {42--52},
  publisher    = {{ACM} Press},
  year         = {1979},
  url          = {https://doi.org/10.1145/567752.567757},
  doi          = {10.1145/567752.567757},
  timestamp    = {Tue, 22 Feb 2022 14:57:57 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/GoodC79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics