%0 Journal Article
%T 一种从z到精化演算的软件开发方法
%A 查鸣 王云峰？
%J 计算机科学
%D 2000
%K 软件开发方法z语言精化演算形式化描述语言
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=4094413&flag=1