TY  - RPRT
TI  - Execution Time Program Verification With Tight Bounds
AU  - Ana Carolina Silva
AU  - Manuel Barbosa
AU  - Mario Florido
PY  - 2022
UR  - https://arxiv.org/abs/2210.11105
ID  - 2210.11105
ER  -