@misc{indiciaeb04d6f528e66,
  title = {Formal Modelling, Testing and Verification of HSA Memory Models using Event-B},
  author = {Ashish Darbari and Iain Singleton and Michael Butler and John Colley},
  year = {2016},
  url = {https://arxiv.org/abs/1605.04744},
  note = {Source identifier: 1605.04744}
}