@misc{meirim2020cise3verifyingweaklyconsistent,
      title={CISE3: Verifying Weakly Consistent Applications with Why3}, 
      author={Filipe Meirim and Mário Pereira and Carla Ferreira},
      year={2020},
      eprint={2010.06622},
      archivePrefix={arXiv},
      primaryClass={cs.PL},
      url={https://arxiv.org/abs/2010.06622}, 
}