program correctness verification的意思|示意

美 / / 英 / /

程序正确性验证