BibTeX record conf/ifip/Pritchard77

download as .bib file

@inproceedings{DBLP:conf/ifip/Pritchard77,
  author       = {Paul Pritchard},
  editor       = {Bruce Gilchrist},
  title        = {Program Proving-Expression Languages},
  booktitle    = {Information Processing, Proceedings of the 7th {IFIP} Congress 1977,
                  Toronto, Canada, August 8-12, 1977},
  pages        = {727--731},
  publisher    = {North-Holland},
  year         = {1977},
  timestamp    = {Fri, 26 Jul 2019 22:58:50 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip/Pritchard77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics