@misc{indiciaec3abf015bccf,
  title = {Semantics, Specification Logic, and Hoare Logic of Exact Real Computation},
  author = {Sewon Park and Franz Brauße and Pieter Collins and SunYoung Kim and Michal Konečný and Gyesik Lee and Norbert Müller and Eike Neumann and Norbert Preining and Martin Ziegler},
  year = {2024},
  doi = {10.46298/lmcs-20(2:17)2024},
  url = {https://arxiv.org/abs/1608.05787},
  note = {Source identifier: 1608.05787}
}