high reliability and credibility
...高可靠性与可信性；马丁洛夫类型理论与Coq；形式化组装验证；服务构件 [gap=1085]Key words：high reliability and credibility；Martin—Lof’S type theory and Coq；formal verification and combination；service co..
基于1个网页-相关网页
high reliability and credibility
高可靠性和可信度
以上为机器翻译结果，长、整句建议使用 人工翻译 。