@misc{indiciaec64fcc812b8c,
  title = {A Deductive Refinement Calculus for Differential-Algebraic Programs},
  author = {Jonathan Hellwig and Long Qian and André Platzer},
  year = {2026},
  doi = {10.1007/978-3-032-32592-1\_16},
  url = {https://arxiv.org/abs/2605.10188},
  note = {Source identifier: 2605.10188}
}