 |
Terms for subject Information technology containing programme correctness | all forms | in specified order only
| English | Chinese |
| program correctness proof | 程序正确证明 |
| proof of program correctness | 程序正确性证明 |
| theory of program correctness | 程序正确性理论 |
|
| English | Chinese |
| program correctness proof | 程序正确证明 |
| proof of program correctness | 程序正确性证明 |
| theory of program correctness | 程序正确性理论 |