BibTeX record journals/corr/abs-1712-01489

• > Home > journals/corr/abs-1712-01489

@inproceedings{DBLP:journals/corr/abs-1712-01489,
  author       = {Dennis M{\"{u}}ller and
                  Colin Rothgang and
                  Yufei Liu and
                  Florian Rabe},
  editor       = {Catherine Dubois and
                  Bruno Woltzenlogel Paleo},
  title        = {Alignment-based Translations Across Formal Systems Using Interface
                  Theories},
  booktitle    = {Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving,
                  PxTP 2017, Bras{\'{\i}}lia, Brazil, 23-24 September 2017},
  series       = {{EPTCS}},
  volume       = {262},
  pages        = {77--93},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.262.7},
  doi          = {10.4204/EPTCS.262.7},
  timestamp    = {Thu, 14 Oct 2021 09:15:24 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1712-01489.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}