TY  - RPRT
TI  - Safer in the Clouds (Extended Abstract)
AU  - Chiara Bodei
AU  - Viet Dung Dinh
AU  - Gian Luigi Ferrari
PY  - 2010
DO  - 10.4204/eptcs.38.6
UR  - https://arxiv.org/abs/1010.5568
ID  - 1010.5568
ER  -