>

proof of program correctness

📖 中文释义

  1. [计] 程序正确性证明
P 字母词表