当前位置 : 在线新华字典,在线汉语查询 > 英汉翻译 > partial correctness proof