BibTeX record conf/oopsla/LopezMMNSVY15

download as .bib file

@inproceedings{DBLP:conf/oopsla/LopezMMNSVY15,
  author       = {Hugo A. L{\'{o}}pez and
                  Eduardo R. B. Marques and
                  Francisco Martins and
                  Nicholas Ng and
                  C{\'{e}}sar Santos and
                  Vasco Thudichum Vasconcelos and
                  Nobuko Yoshida},
  editor       = {Jonathan Aldrich and
                  Patrick Eugster},
  title        = {Protocol-based verification of message-passing parallel programs},
  booktitle    = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
                  Object-Oriented Programming, Systems, Languages, and Applications,
                  {OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
                  25-30, 2015},
  pages        = {280--298},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2814270.2814302},
  doi          = {10.1145/2814270.2814302},
  timestamp    = {Mon, 13 Feb 2023 21:54:27 +0100},
  biburl       = {https://dblp.org/rec/conf/oopsla/LopezMMNSVY15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics