IEEE 2014 Fourth International Workshop on Formal Methods in Services and Cloud Computing (FM-S&C 2014) Workshop Summary.

Guoray Cai, Ying Li, Yuyu Yin, Honghao Gao

Browse the full SERVICES paper archive.