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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Scopus citations

Fingerprint

Dive into the research topics of 'The 2016 IEEE Services Emerging Technology Track on Formal Methods in Services and Cloud Computing (FM-S&C 2016) Workshop Summary'. Together they form a unique fingerprint.

Engineering & Materials Science