BibTeX record conf/ppig/FungOBRG92

download as .bib file

@inproceedings{DBLP:conf/ppig/FungOBRG92,
  author    = {Pat Fung and
               Pamela O'Shea and
               Richard Bornat and
               Steve Reeves and
               Doug Goldson},
  title     = {Fear of Formal Reasoning},
  booktitle = {Proceedings of the 5th Annual Workshop of the Psychology of Programming
               Interest Group, {PPIG} 1992, Paris, France, December 9-12, 1992},
  pages     = {8},
  publisher = {Psychology of Programming Interest Group},
  year      = {1992},
  url       = {http://ppig.org/library/paper/fear-formal-reasoning},
  timestamp = {Tue, 16 Mar 2021 16:24:00 +0100},
  biburl    = {https://dblp.org/rec/conf/ppig/FungOBRG92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics