@misc{indiciae17d0adfbb0d5, title = {Managing approximation errors in quantum programs}, author = {Thomas Häner and Martin Roetteler and Krysta M. Svore}, year = {2018}, url = {https://arxiv.org/abs/1807.02336}, note = {Source identifier: 1807.02336} }