Scalable Computing: Practice and Experience SCPE

Alomari, Ahmad

• Scalable Computing: Practice and Experience Vol. 16 No. 3 (2015) - Research Papers
  Challenges in Formal Methods for Testing and Verification of Cloud Computing Systems
  Abstract  PDF