Items where Author is "Oriol, M."
Up a level
Group by: Type | No Grouping
Number of items: 1.
Krotsiani, M., Kloukinas, C. & Spanoudakis, G. (2017). Cloud Certification Process Validation using Formal Methods. In: Maximilien, M., Vallecillo, A., Wang, J. & Oriol, M. (Eds.), Service-Oriented Computing. ICSOC 2017. 15th International Conference on Service Oriented Computing (ICSOC 2017), 13-16 Nov 2017, Malaga, Spain.