TY  - RPRT
TI  - A Reusable Machine-Calculus for Automated Resource Analyses
AU  - Hector Suzanne
AU  - Emmanuel Chailloux
PY  - 2023
DO  - 10.1007/978-3-031-45784-5_5
UR  - https://arxiv.org/abs/2310.14719
ID  - 2310.14719
ER  -