Publication [SunF17] A Formal Design Model of Cloud Services Sun, M. and Fu, G. In SEKE, pages 173-178, 2017.Downloads: bib