Barati, Masoud, Cardiff University, United Kingdom

• Information Technology and Control Vol. 49 No. 1 (2020) - Articles
  A Formal Technique for Composing Cloud Services
  Abstract  PDF