BibTeX record conf/pldi/GuSKWKS0CR18

download as .bib file

@inproceedings{DBLP:conf/pldi/GuSKWKS0CR18,
  author    = {Ronghui Gu and
               Zhong Shao and
               Jieung Kim and
               Xiongnan (Newman) Wu and
               J{\'{e}}r{\'{e}}mie Koenig and
               Vilhelm Sj{\"{o}}berg and
               Hao Chen and
               David Costanzo and
               Tahina Ramananandro},
  title     = {Certified concurrent abstraction layers},
  booktitle = {{PLDI}},
  pages     = {646--661},
  publisher = {{ACM}},
  year      = {2018}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics