Cartesian Operator Automatic Refinement Research and Implementation in Z Specification

• Z规格说明中笛卡尔积算子自动求精的研究与实现