SłownikiForumKontakt

   Angielski Chiński +
Google | Forvo | +

proof of program correctness

technol. 程序正确性证明
proof of programme correctness
techn. 程序正确性证明