@misc{indiciae6de54a5e0f25,
  title = {Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back},
  author = {Kevin Batz and Joost-Pieter Katoen and Francesca Randone and Tobias Winkler},
  year = {2025},
  url = {https://arxiv.org/abs/2502.19388},
  note = {Source identifier: 2502.19388}
}