TY  - RPRT
TI  - Theory-Software Translation: Research Challenges and Future Directions
AU  - Caroline Jay
AU  - Robert Haines
AU  - Daniel S. Katz
AU  - Jeffrey Carver
AU  - James C. Phillips
AU  - Anshu Dubey
AU  - Sandra Gesing
AU  - Matthew Turk
AU  - Hui Wan
AU  - Hubertus van Dam
AU  - James Howison
AU  - Vitali Morozov
AU  - Steven R. Brandt
PY  - 2019
UR  - https://arxiv.org/abs/1910.09902
ID  - 1910.09902
ER  -