%0 Journal Article
%T 软件动态正确性的形式化描述
%A 张  敏
%A 陈仪香
%A 马艳芳
%J -
%D 2013
%X 软件正确性是一个逐渐改进的过程.通过不断地修改,软件越来越接..
%K [软件正确性
%K 参数化互模拟
%K 形式化
%K 极限
%K 拓扑
%K correctness of software
%K parameterized bisimulation
%K formalization
%K limit
%K topology]
%U http://crad.ict.ac.cn/CN/Y2013/V50/I3/626