BibTeX record conf/gpce/Al-SibahiJDW18

download as .bib file

@inproceedings{DBLP:conf/gpce/Al-SibahiJDW18,
  author       = {Ahmad Salim Al{-}Sibahi and
                  Thomas P. Jensen and
                  Aleksandar S. Dimovski and
                  Andrzej Wasowski},
  editor       = {Eric Van Wyk and
                  Tiark Rompf},
  title        = {Verification of high-level transformations with inductive refinement
                  types},
  booktitle    = {Proceedings of the 17th {ACM} {SIGPLAN} International Conference on
                  Generative Programming: Concepts and Experiences, {GPCE} 2018, Boston,
                  MA, USA, November 5-6, 2018},
  pages        = {147--160},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3278122.3278125},
  doi          = {10.1145/3278122.3278125},
  timestamp    = {Mon, 05 Feb 2024 20:33:27 +0100},
  biburl       = {https://dblp.org/rec/conf/gpce/Al-SibahiJDW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.