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

Browse the full SERVICES paper archive.