@misc{indiciae6d9d1add5780,
  title = {A Reusable Machine-Calculus for Automated Resource Analyses},
  author = {Hector Suzanne and Emmanuel Chailloux},
  year = {2023},
  doi = {10.1007/978-3-031-45784-5\_5},
  url = {https://arxiv.org/abs/2310.14719},
  note = {Source identifier: 2310.14719}
}