proof of program correctness

[proof of program correctness]
[proof of program correctness]

中文释义

[计] 程序正确性证明

单词分析

单词结构:

proof of program correctness

字母数:28

记忆提示

🎯 重点记忆:

  • 单词拼写:proof of program correctness
  • 核心含义:[计] 程序正确性证明