Formal Methods and Verification的意思|示意
美 / /
英 / /
形式化方法与验证
Formal Methods and Verification的网络常见释义
形式化方法与验证 形式化方法与验证（Formal Methods and Verification） 机器学习与知识表示（Machine Learning and Knowledge Representation） .