@misc{indiciae52b5a0d713c5,
  title = {Improving the "Correct Eventual Consistency" Tool},
  author = {Sreeja Nair and Marc Shapiro},
  year = {2018},
  url = {https://arxiv.org/abs/1807.06431},
  note = {Source identifier: 1807.06431}
}