BibTeX record conf/icfp/Shapiro06

download as .bib file

@inproceedings{DBLP:conf/icfp/Shapiro06,
  author       = {Marc Shapiro},
  editor       = {John H. Reppy and
                  Julia Lawall},
  title        = {Practical proofs of concurrent programs},
  booktitle    = {Proceedings of the 11th {ACM} {SIGPLAN} International Conference on
                  Functional Programming, {ICFP} 2006, Portland, Oregon, USA, September
                  16-21, 2006},
  pages        = {123},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1159803.1159819},
  doi          = {10.1145/1159803.1159819},
  timestamp    = {Mon, 17 Jan 2022 15:20:18 +0100},
  biburl       = {https://dblp.org/rec/conf/icfp/Shapiro06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics