程序规范及其正确性证明概述

- 第3章 程序规范及其正确性证明概述 - 内容－Where we are？ - 程序规范、规范的描述断言与规范及{P} S {Q}程序正确性的概