%0 Journal Article
%T 关于面向对象的类的形式化研究
%A 李晓燕 林云？
%J 计算机科学
%D 1999
%K 面向对象程序设计语言类形式化
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=3747151&flag=1