TY  - RPRT
TI  - Pointer Race Freedom
AU  - Frédéric Haziza
AU  - Lukáš Holík
AU  - Roland Meyer
AU  - Sebastian Wolff
PY  - 2015
UR  - https://arxiv.org/abs/1511.00184
ID  - 1511.00184
ER  -