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