IEEE Services Visionary Track on Formal Methods in Services and Cloud Computing (FM-S&C 2015) Workshop Summary.

Guoray Cai, Ying Li, Yuyu Yin, Honghao Gao

Browse the full SERVICES paper archive.