TY  - RPRT
TI  - A Transformational Approach to Resource Analysis with Typed-norms Inference
AU  - Elvira Albert
AU  - Samir Genaim
AU  - Raúl Gutiérrez
AU  - Enrique Martin-Martin
PY  - 2019
UR  - https://arxiv.org/abs/1908.02078
ID  - 1908.02078
ER  -