TY  - RPRT
TI  - Formal Modelling, Testing and Verification of HSA Memory Models using Event-B
AU  - Ashish Darbari
AU  - Iain Singleton
AU  - Michael Butler
AU  - John Colley
PY  - 2016
UR  - https://arxiv.org/abs/1605.04744
ID  - 1605.04744
ER  -