电脑体验，效果更佳

宫尚图谱-计算机领域：

相关人员

高洪皓 王鹏 陈韶君

研究领域

服务构件 形式化组装验证 马丁洛夫类型理论与Coq 高可靠性与可信性

标签云