>

proving of concurrent program

📖 中文释义

  1. [计] 并行程序证明
P 字母词表