BibTeX record conf/acm/ReynoldsM90

download as .bib file

@inproceedings{DBLP:conf/acm/ReynoldsM90,
  author       = {Robert G. Reynolds and
                  Jonathan I. Maletic},
  editor       = {Arun Sood},
  title        = {An Introduction to Refinement Metrics: Assessing a Programming Language's
                  Support of the Stepwise Refinement Process},
  booktitle    = {Proceedings of the {ACM} 18th Annual Computer Science Conference on
                  Cooperation, {CSC} '90, Sheraton Washington Hotel, Washington, DC,
                  USA, February 20-22, 1990},
  pages        = {82--88},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/100348.100361},
  doi          = {10.1145/100348.100361},
  timestamp    = {Tue, 06 Nov 2018 16:58:25 +0100},
  biburl       = {https://dblp.org/rec/conf/acm/ReynoldsM90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics