TY  - RPRT
TI  - Addressing Client Needs for Cloud Computing using Formal Foundations
AU  - Andreea Buga
AU  - Sorana Tania Nemes
AU  - Atif Mashkoor
PY  - 2018
UR  - https://arxiv.org/abs/1808.04222
ID  - 1808.04222
ER  -