TY  - RPRT
TI  - Certification of programs with computational effects
AU  - Burak Ekici
PY  - 2014
UR  - https://arxiv.org/abs/1411.7139
ID  - 1411.7139
ER  -