@misc{indiciaedbd2dfcd5741,
  title = {CISE3: Verifying Weakly Consistent Applications with Why3},
  author = {Filipe Meirim and Mário Pereira and Carla Ferreira},
  year = {2020},
  url = {https://arxiv.org/abs/2010.06622},
  note = {Source identifier: 2010.06622}
}