形式化

• formalization
• formalize
• formalise

参考释义

形式化 [xíng shì huà]

• -
• 短语
  形式化计算机 formalized computer