![](/img/cover-not-exists.png)
Verifying cloud services
Bouchenak, Sara, Chockler, Gregory, Chockler, Hana, Gheorghe, Gabriela, Santos, Nuno, Shraer, AlexanderVolume:
47
Language:
english
Journal:
ACM SIGOPS Operating Systems Review
DOI:
10.1145/2506164.2506167
Date:
July, 2013
File:
PDF, 331 KB
english, 2013