%0 Journal Article
%T z规格说明中的定理证明方法
%A 缪淮扣 朱关铭？
%J 计算机科学
%D 1998
%K z规格说明z语言定理证明集合论
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=2901381&flag=1