形式化方法

GB20438.7 技术和措施概述半形式化方法

注2:在GB/T 20438.2-2017的表B.1、表B.2和表B.6以及在GB/T 20438.3-2017的表A.1、表A.2、表A.4、表B.7,表C,1,表C.2、表C.4和表C.17中引用了本技术/措施。