Xiyue Zhang, Meng Sun 0002. SMT-Based Modeling and Verification of Cloud Applications. In Yunni Xia, Liang-Jie Zhang, editors, Services - SERVICES 2019 - 15th World Congress, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25-30, 2019, Proceedings. Volume 11517 of Lecture Notes in Computer Science, pages 1-15, Springer, 2019.
Abstract is missing.