TY  - RPRT
TI  - Semantics, Specification Logic, and Hoare Logic of Exact Real Computation
AU  - Sewon Park
AU  - Franz Brauße
AU  - Pieter Collins
AU  - SunYoung Kim
AU  - Michal Konečný
AU  - Gyesik Lee
AU  - Norbert Müller
AU  - Eike Neumann
AU  - Norbert Preining
AU  - Martin Ziegler
PY  - 2024
DO  - 10.46298/lmcs-20(2:17)2024
UR  - https://arxiv.org/abs/1608.05787
ID  - 1608.05787
ER  -