@misc{indiciae05806d6e8e94,
  title = {Proceedings of the First International Workshop on Formal Methods for and on the Cloud},
  author = {Razieh Behjati and Ahmed Elmokashfi},
  year = {2016},
  doi = {10.4204/eptcs.228},
  url = {https://arxiv.org/abs/1610.07700},
  note = {Source identifier: 1610.07700}
}