电脑体验，效果更佳

形式化组装验证图谱-计算机领域：

研究人员

宫尚 王鹏 陈韶君 高洪皓

相关术语

服务构件 高可靠性与可信性 马丁洛夫类型理论与Coq

标签云