+
访问量:
开通时间:..
最后更新时间:..
发布时间:2022-02-21 点击次数:
上一条:[c15]Hongliang Liang, Daijie Zhang, Xiaoxiao Pei, Xiaodong Jia, Guangyuan Li, Jiuyun Xu: A Correctness Verification Method for C Programs Based on VCC. CSCloud 2016: 172-177
下一条:[c16]Wuwei Shen, Guangyuan Li, Chung-Ling Lin, Hongliang Liang: Foundation of a Framework to Support Compliance Checking in Construction Industry. SOFL+MSVL 2017: 111-122