@misc{indiciae2233de1ba7e3,
  title = {Addressing Client Needs for Cloud Computing using Formal Foundations},
  author = {Andreea Buga and Sorana Tania Nemes and Atif Mashkoor},
  year = {2018},
  url = {https://arxiv.org/abs/1808.04222},
  note = {Source identifier: 1808.04222}
}