BibTeX record conf/pldi/DeLineF01

download as .bib file

@inproceedings{DBLP:conf/pldi/DeLineF01,
  author    = {Robert DeLine and
               Manuel F{\"{a}}hndrich},
  editor    = {Michael Burke and
               Mary Lou Soffa},
  title     = {Enforcing High-Level Protocols in Low-Level Software},
  booktitle = {Proceedings of the 2001 {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation (PLDI), Snowbird, Utah, USA, June
               20-22, 2001},
  pages     = {59--69},
  publisher = {{ACM}},
  year      = {2001},
  url       = {https://doi.org/10.1145/378795.378811},
  doi       = {10.1145/378795.378811},
  timestamp = {Wed, 07 Jul 2021 17:30:34 +0200},
  biburl    = {https://dblp.org/rec/conf/pldi/DeLineF01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics