TY  - RPRT
TI  - Dynamic Checking of Safe Concurrent Memory Access using Shared Ownership
AU  - Mischael Schill
AU  - Sebastian Nanz
AU  - Bertrand Meyer
PY  - 2014
UR  - https://arxiv.org/abs/1407.1245
ID  - 1407.1245
ER  -