@misc{indiciaef5cd2fa73c8d,
  title = {On the Verification of SCOOP Programs},
  author = {Georgiana Caltais and Bertrand Meyer},
  year = {2015},
  url = {https://arxiv.org/abs/1504.07041},
  note = {Source identifier: 1504.07041}
}