TY  - RPRT
TI  - A polytime complexity analyser for Probabilistic Polynomial Time over imperative stack programs
AU  - Jean-Yves Moyen
AU  - Paolo Parisen Toldin
PY  - 2013
UR  - https://arxiv.org/abs/1304.3249
ID  - 1304.3249
ER  -