The 2016 IEEE Services Emerging Technology Track on Formal Methods in Services and Cloud Computing (FM-S&C 2016) Workshop Summary

Guoray Cai, Ying Li, Yuyu Yin, Honghao Gao. The 2016 IEEE Services Emerging Technology Track on Formal Methods in Services and Cloud Computing (FM-S&C 2016) Workshop Summary. In Rami Bahsoon, Liang-Jie Zhang, editors, IEEE World Congress on Services, SERVICES 2016, San Francisco, CA, USA, June 27 - July 2, 2016. pages 26, IEEE, 2016. [doi]

Abstract

Abstract is missing.