@misc{indiciaec0ce892d883f,
  title = {An Iris for Expected Cost Analysis},
  author = {Janine Lohse and Deepak Garg},
  year = {2024},
  url = {https://arxiv.org/abs/2406.00884},
  note = {Source identifier: 2406.00884}
}