@misc{indiciae24be444958f0, title = {Statically Inferring Usage Bounds for Infrastructure as Code}, author = {Feitong Qiao and Aryana Mohammadi and Jürgen Cito and Mark Santolucito}, year = {2024}, url = {https://arxiv.org/abs/2402.15632}, note = {Source identifier: 2402.15632} }