@misc{indiciae507029d9049a, title = {Theory-Software Translation: Research Challenges and Future Directions}, author = {Caroline Jay and Robert Haines and Daniel S. Katz and Jeffrey Carver and James C. Phillips and Anshu Dubey and Sandra Gesing and Matthew Turk and Hui Wan and Hubertus van Dam and James Howison and Vitali Morozov and Steven R. Brandt}, year = {2019}, url = {https://arxiv.org/abs/1910.09902}, note = {Source identifier: 1910.09902} }