@misc{indiciae5e27a1c209f9,
  title = {Safer in the Clouds (Extended Abstract)},
  author = {Chiara Bodei and Viet Dung Dinh and Gian Luigi Ferrari},
  year = {2010},
  doi = {10.4204/eptcs.38.6},
  url = {https://arxiv.org/abs/1010.5568},
  note = {Source identifier: 1010.5568}
}