@misc{indiciae2f500db95128,
  title = {Software Verification for Weak Memory via Program Transformation},
  author = {Jade Alglave and Daniel Kroening and Vincent Nimal and Michael Tautschnig},
  year = {2012},
  url = {https://arxiv.org/abs/1207.7264},
  note = {Source identifier: 1207.7264}
}