形式化方法在云计算中的应用现状
王捍贫, 张 磊
A survey on formal methods in cloud computing
WANG Han-pin, ZHANG Lei
广州大学学报（自然科学版） . 2019, (4): 69 -74 . 

　 版权所有 © 《广州大学学报(自然科学版)》编辑部
地址：广州市番禺大学城外环西路230号　 邮编：510006
电话：(020)39366067　
E-mail：journal@gzhu.edu.cn
本系统由北京玛格泰克科技发展有限公司设计开发