BibTeX record journals/sigplan/Metayer85

download as .bib file

@inproceedings{DBLP:journals/sigplan/Metayer85,
  author       = {Daniel Le M{\'{e}}tayer},
  editor       = {Teri F. Payton and
                  L. Peter Deutsch and
                  James Purtilo},
  title        = {Mechanical analysis of program complexity},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} 85 Symposium on Language Issues
                  in Programming Environments, {SLIPE} 1985, Seattle, Washington, USA,
                  June 25-28, 1985},
  pages        = {69--73},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/800225.806828},
  doi          = {10.1145/800225.806828},
  timestamp    = {Fri, 25 Mar 2022 11:07:48 +0100},
  biburl       = {https://dblp.org/rec/journals/sigplan/Metayer85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics