formal verification and combination的意思|示意
美 / /
英 / /
形式化验证与组合
formal verification and combination的网络常见释义
形式化组装验证 ...形式化组装验证；服务构件 [gap=1085]Key words：high reliability and credibility；Martin—Lof’S type theory and Coq；formal verification and combination；service component ..