Formalizing Mobile Cloud Service Migration with Event-B.

Guoping Zhang, Luxi Zhao, Weishan Zhang, Kuiyi Yang, Shouchao Tan

Browse the full UIC paper archive.