基于XYZ/SE的软件部分正确性验证

基于XYZ/SE的软件部分正确性验证

张锦1，2，刘曼霞2，赵二群2，柳军飞3

Software partial correctness verification based on XYZ/SE

ZHANG Jin1，2, LIU Manxia2, ZHAO Erqun2, LIU Junfei3

计算机工程与应用 . 2015, (14): 46 -50 .