@misc{23140,
  abstract     = {The artefact for the OOPSLA 2024 paper "Quantitative Bounds on Resource Usage of Probabilistic Programs".

},
  author       = {  Žikelić, Đorđe},
  publisher    = {Zenodo},
  title        = {{Artefact for: Quantitative Bounds on Resource Usage of Probabilistic Programs}},
  doi          = {10.5281/zenodo.10457565},
  year         = {2024},
}