TY  - RPRT
TI  - On Decidable Growth-Rate Properties of Imperative Programs
AU  - Amir M. Ben-Amram
PY  - 2010
DO  - 10.4204/eptcs.23.1
UR  - https://arxiv.org/abs/1005.0518
ID  - 1005.0518
ER  -