【计】 正确性规范, 正确性说明

correctness

Correctness

total correctness

partial correctness【计】

program correctness【计】

proof of program correctness

data correctness【计】

correctness【科技】