אנגלית ⇄ סינית +

theory of program correctness
.טכנול	程序正确性理论