Cloud Certification Process Validation Using Formal Methods.

Maria Krotsiani, Christos Kloukinas, George Spanoudakis

Browse the full ICSOC paper archive.