BibTeX record conf/splc/DamianiODSJY12

download as .bib file

@inproceedings{DBLP:conf/splc/DamianiODSJY12,
  author    = {Ferruccio Damiani and
               Olaf Owe and
               Johan Dovland and
               Ina Schaefer and
               Einar Broch Johnsen and
               Ingrid Chieh Yu},
  editor    = {Eduardo Santana de Almeida and
               Christa Schwanninger and
               David Benavides},
  title     = {A transformational proof system for delta-oriented programming},
  booktitle = {16th International Software Product Line Conference, {SPLC} '12, Salvador,
               Brazil - September 2-7, 2012, Volume 2},
  pages     = {53--60},
  publisher = {{ACM}},
  year      = {2012},
  url       = {https://doi.org/10.1145/2364412.2364422},
  doi       = {10.1145/2364412.2364422},
  timestamp = {Wed, 28 Oct 2020 08:39:41 +0100},
  biburl    = {https://dblp.org/rec/conf/splc/DamianiODSJY12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics