SMT-based Modeling and Verification of Cloud Applications

Published in Proceedings of World Congress on Services, 2019

Recommended citation: Xiyue Zhang, Meng Sun. "SMT-based Modeling and Verification of Cloud Applications." Proceedings of World Congress on Services. SERVICES 2019. https://link.springer.com/chapter/10.1007/978-3-030-23381-5_1