@misc{indiciae457e27c346a9,
  title = {Program Verification in the presence of complex numbers, functions with branch cuts etc},
  author = {James H. Davenport and Russell Bradford and Matthew England and David Wilson},
  year = {2012},
  doi = {10.1109/synasc.2012.68},
  url = {https://arxiv.org/abs/1212.5417},
  note = {Source identifier: 1212.5417}
}