BibTeX record journals/corr/abs-1910-09902

• > Home > journals/corr/abs-1910-09902

@article{DBLP:journals/corr/abs-1910-09902,
  author       = {Caroline Jay and
                  Robert Haines and
                  Daniel S. Katz and
                  Jeffrey C. Carver and
                  James C. Phillips and
                  Anshu Dubey and
                  Sandra Gesing and
                  Matthew J. Turk and
                  Hui Wan and
                  Hubertus Van Dam and
                  James Howison and
                  Vitali A. Morozov and
                  Steven R. Brandt},
  title        = {Theory-Software Translation: Research Challenges and Future Directions},
  journal      = {CoRR},
  volume       = {abs/1910.09902},
  year         = {2019},
  url          = {http://arxiv.org/abs/1910.09902},
  eprinttype    = {arXiv},
  eprint       = {1910.09902},
  timestamp    = {Mon, 04 Oct 2021 08:30:05 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1910-09902.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}