program correctness
| proof
| program correctness | |
| tech. | 程序的正确性 |
| tech. од. | 程序正确性 |
| proof | |
| fin. | 校对 |
| hydroel.st. | 证明; 证据; 验证 |
| interntl.trade. | 对证; 校样; 检标 |
| met. | 耐; 防; 合乎标准的 |
| |||
| ★ 程序正确性; 程序的正确性 | |||
| |||
| 程序正确性; 程序的正确性 | |||
|
program correctness : 5 phrases in 2 subjects |
| Information technology | 3 |
| Technology | 2 |