程序正确性证明

- 第5讲 程序正确性证明 - - - 5.1 程序正确性概述 - 什么样的程序才是正确的？如何来