Miha Stopar, Jolanda Modic, Dana Petcu, Massimiliano Rak. Towards a Proof-based SLA Management Framework - The SPECS Approach. In Jorge Cardoso, Donald Ferguson, Víctor Méndez Muñoz, Markus Helfert, editors, CLOSER 2016 - Proceedings of the 6th International Conference on Cloud Computing and Services Science, Volume 2, Rome, Italy, April 23-25, 2016. pages 240-248, SciTePress, 2016. [doi]
Abstract is missing.