%0 Journal Article
%T 基于object—z的uml对象模型的形式化
%A 杨卫东 蔡希尧？
%J 计算机科学
%D 2000
%K uml语言面向对象object－z对象模型
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=4094425&flag=1