程序正确性证明的英文
以下是程序正确性证明的英文，程序正确性证明的英语翻译。
中文：
程序正确性证明
英文翻译：
【计】
programming correctness proof
proof of program correctness
【wjccx.com汉英词典】为您提供程序正确性证明的英文是什么，程序正确性证明的英文怎么写。
程序正确性证明的英文共有 63 查询热度。
以下是程序正确性证明的英文，程序正确性证明的英语翻译。
中文：
程序正确性证明
英文翻译：
【计】
programming correctness proof
proof of program correctness
【wjccx.com汉英词典】为您提供程序正确性证明的英文是什么，程序正确性证明的英文怎么写。
程序正确性证明的英文共有 63 查询热度。