%0 Journal Article
%T 精化演算支撑工具prt的研究
%A 杨朝晖 王云峰？
%J 计算机科学
%D 2000
%K 程序正确性精化演算支撑工具prt程序结构
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=4149012&flag=1