BibTeX record conf/oopsla/WasserrabNST06

download as .bib file

@inproceedings{DBLP:conf/oopsla/WasserrabNST06,
  author       = {Daniel Wasserrab and
                  Tobias Nipkow and
                  Gregor Snelting and
                  Frank Tip},
  editor       = {Peri L. Tarr and
                  William R. Cook},
  title        = {An operational semantics and type safety prooffor multiple inheritance
                  in {C++}},
  booktitle    = {Proceedings of the 21th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
                  Programming, Systems, Languages, and Applications, {OOPSLA} 2006,
                  October 22-26, 2006, Portland, Oregon, {USA}},
  pages        = {345--362},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1167473.1167503},
  doi          = {10.1145/1167473.1167503},
  timestamp    = {Sat, 30 Sep 2023 09:54:20 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/WasserrabNST06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics