?形式化顶层规范
... 形式化证明 formal proof 形式化顶层规范 formal top-level specification 形式化验证 formal verification ...
?形式化高层规范
... 形式化的能力问题 formal competency questions 形式化高层规范 formal top-level specification 形式化计算机程序 formalized computer program ...
英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。